Utökat ML (EML) är en ram för formell utveckling av modulära standard ML (SML) programvarusystem. Utvecklingen inleds med en specificering av det beteende som krävs och fortskrider via en sekvens av partiella lösningar tills en fullständig lösning, ett körbart SML-program, erhålls. Alla steg i denna utvecklingsprocess uttrycks i EML-språket, en förlängning av SML med axioms för att beskriva egenskaper hos modulkomponenter. Detta är en översikt över den formella beskrivningen av EML-språket. För att komplettera de fullständiga tekniska detaljer som presenteras på annat håll ger den en informell förklaring av de viktigaste idéerna, ger motiv för vissa designbeslut och beskriver några av de tekniska frågor som berörs. EML är ovanligt i att byggas runt ett \real" programmeringsspråk med en formellt ned syntax och semantik. Intressanta och komplexa problem uppstår både från karaktären av denna relation och från interaktioner mellan särdragen i språket. Detta är en väsentligen reviderad och utvidgad version av KST94a] som baserades på en tidigare utkastversion av KST94b].
Utökad ML REF är en ram för formell utveckling av korrekta program på standard ML-språket.
The Definition of Extended ML: A Gentle Introduction
{'venue': 'Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}