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]. (1994-12-12)

Extended ML is a wide-spectrum language based on ML, covering both specification and implementation. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program.

The Extended Phenotype is a 1982 book by the evolutionary biologist Richard Dawkins, in which the author introduced a biological concept of the same name. The main idea is that phenotype should not be limited to biological processes such as protein biosynthesis or tissue growth, but extended to include all effects that a gene has on its environment, inside or outside the body of the individual organism.

<storage> Memory above the first megabyte of address space in an IBM PC with an 80286 or later processor. Extended memory is not directly available in real mode, only through EMS, UMB, XMS, or HMA; only applications executing in protected mode can use extended memory directly. In this case, the extended memory is provided by a supervising protected-mode operating system such as Microsoft Windows. The processor makes this memory available through a system of global descriptor tables and local descriptor tables. The memory is "protected" in the sense that memory assigned a local descriptor cannot be accessed by another program without causing a hardware trap. This prevents programs running in protected mode from interfering with each other's memory. A protected-mode operating system such as Windows can also run real-mode programs and provide expanded memory to them. DOS Protected Mode Interface is Microsoft's prescribed method for an MS-DOS program to access extended memory under a multitasking environment. Having extended memory does not necessarily mean that you have more than one megabyte of memory since the reserved memory area may be partially empty. In fact, if your 386 or higher uses extended memory as expanded memory then that part is not in excess of 1Mb. See also conventional memory. (1996-01-10)

<software, storage> (XMM) The memory manager software implementing Extended Memory Specification, such as HIMEM or QEMM386. XMM's can usually also act as A20 handlers. (1996-01-10)

<storage> (XMS) The specification describing the use of {IBM PC} extended memory in real mode for storing data (but not executable code). Memory is made available by {extended memory manager} (XMM) software. The XMM functions are accessible through interrupt 2FH. (1996-01-10)

In DOS memory management, extended memory refers to memory above the first megabyte (220 bytes) of address space in an IBM PC or compatible with an 80286 or later processor. The term is mainly used under the DOS and Windows operating systems.

Meta Language

1. <robotics> Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the {Functional Abstract Machine} (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978]. (2006-07-21)