Extended ml

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

Read Also:

  • 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 [email protected] 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)

  • Extender

    [ik-sten-der] /ɪkˈstɛn dər/ noun 1. a substance added to another substance, as to paint or food, to increase its volume or bulk: to add cereal and soy protein to hamburger as extenders. 2. Photography. See under (def 8). [kuh n-vur-ter] /kənˈvɜr tər/ noun 1. a person or thing that . 2. Electricity. a device that […]

Disclaimer: Extended ml 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.