Extended ML

Extended ML является языком программирования, основанным на языке программирования ML и является по своей сути расширением Standard ML.

Он расширяет синтаксис ML таким образом, чтобы было возможно включать аксиомы не являющиеся исполняемой программой, но при этом строго определялось поведение программы. Формально разработка программы на Extended ML означает написать высокоуровневую спецификацию универсального модуля Standard ML с дальнейшим ее усовершенствованием.

Extended ML используется для научных исследований и обучения формальной разработки программы и спецификаций, в исследовании автоматической проверки программ.