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].

Try this search on Wikipedia, OneLook, Google

Nearby terms: Emerald « EMI « Emitter Coupled Logic « EML » EMM » EMM386 » emote


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.