Rozšířená ML - Extended ML

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Extended ML“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Říjen 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Rozšířená ML je širokospektrální jazyk pokrývající oba Specifikace a implementace a na základě ML programovací jazyk. Rozšiřuje syntaxi ML tak, aby zahrnovala axiomy, které nemusí být spustitelné, ale mohou přesně určit chování programu. S tímto přidáním lze jazyk použít pro postupné zdokonalování, postupující postupně od počátečního formální specifikace nakonec získat spustitelný soubor Standardní ML program. Správnost konečného spustitelného programu SML s ohledem na původní specifikaci lze poté stanovit prokázáním správnosti každého z kroků upřesnění. Extended ML se používá pro výzkum a výuku formální rozvoj programu a Specifikace a výzkum automatických ověření programu.

Extended ML nesouvisí ani s programovacím jazykem Extensible ML (kromě toho, že jsou obdobně odvozeny od ML), ani k specifikační jazyk rozšiřitelný značkovací jazyk.

Reference

• S. Kahrs, D. Sannella a A. Tarlecki. Definice rozšířeného ML: Jemný úvod. Teoretická informatika, 173 (2): 445–484, 28. února 1997.

externí odkazy

• Don Sannella - informace o Extended ML

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.