Eml
Extended ML. A language for formally specifying SML programs.
[“Formal Program Development in Extended ML for the Working Programmer”, D. Sannella, Proc 3rd BCS/FACS Workshop on Refinement”, Springer 1990].
Read Also:
- Emlyn
[em-lin] /ˈɛm lɪn/ noun 1. a female given name, form of . 2. a male given name.
- Emm
storage Expanded Memory Manager. (1996-01-12) expanded memory manager
- Emm386
software, storage An expanded memory manager for IBM PCs with an Intel 80386 or higher processor, part of MS-DOS version 5.00 or higher. EMM386 uses extended memory to simulate expanded memory and also provides upper memory blocks. It must be loaded by a DEVICE= command in your CONFIG.SYS file. (1996-01-13)
- Emma
[em-uh] /ˈɛm ə/ noun 1. a female given name, form of . [em-uh] /ˈɛm ə/ noun 1. a novel (1815) by Jane Austen. fem. proper name, from German Emma, from Erma, contraction of Ermentrude or some similar name. With lower-case -e-, as British telephone and radio enunciation of M to avoid confusion with N, attested […]
- Emmanuel
[ih-man-yoo-uh l, for 1, 2; French e-ma-ny-el for 3] /ɪˈmæn yu əl, for 1, 2; French ɛ ma nüˈɛl for 3/ noun 1. Jesus Christ, especially as the Messiah. Matt. 1:23. 2. . 3. Pierre [pyer] /pyɛr/ (Show IPA), 1916–1984, French poet. /ɪˈmænjʊəl/ noun 1. a variant spelling of Immanuel masc. personal name, from Greek […]