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].
[em-lin] /ˈɛm lɪn/ noun 1. a female given name, form of . 2. a male given name.
storage Expanded Memory Manager. (1996-01-12) expanded memory manager
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)
[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 […]