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.