A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming.
[“Program Specification and Development in Standard ML”, D. Sannella et al, 12th POPL, ACM 1985].
- Extended self-containing prolog
language (ESP) An object-oriented extension of KL0 by Chikayama. ESP has backtracking-based control, unification-based parameter passing and object-oriented calling. An object in ESP is an axiom set. A class definition consists of nature definitions (inheritance), slot definitions (class variables) and clause definitions. ESP has multiple inheritance similar to Flavors. It has been implemented for ICOT’s […]
- Extended system configuration data
operating system (ESCD) An area of memory, not exceeding 32 kilobytes in size, used by MS-DOS(?) as NVRAM for PNP BIOS and PNP OS. It must be writeable at run time. Intel’s ICU also uses ESCD to store information for PNP ISA cards and legacy ISA cards. (1999-11-22)
- Extended systems modelling language
language (ESML) A real-time software engineering methodology based on RTSA. (2009-05-11)
- Extended tcl
language (TclX) Tcl extended by Mark Diekhans markd@NeoSoft.com and Karl Lehenbauer from 1989 on with statements to provide high-level access Unix system primitives. Latest version: 7.6p2, as of 2003-02-12. TclX Home (http://neosoft.com/tclx/). E-mail: . (2003-02-12)