Stem esc$ (all stems)
3 papers:
- FME-2002-CatanoH #java #specification #static analysis #using
- Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
- FME-2001-FlanaganL #java
- Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.
- CIKM-1999-LiY #classification #probability #using
- Text Classification Using ESC-based Stochastic Decision Lists (HL, KY), pp. 122–130.