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 […]

Disclaimer: Eml definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.