Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento de un programa. Con esta extensión el lenguaje puede utilizarse para aplicar técnicas de refinamiento de programas para, a partir de una especificación formal, producir un programa en el lenguaje Standard ML que cumple con la especificación. Extended ML se utiliza para la enseñanza de desarrollo formal de programas, especificación de programas y para investigación en verificación automatizada de programas.
Enlaces externos
Don Sannella - Información sobre Extended ML
Referencias
S. Kahrs, D. Sannella, and A. Tarlecki. The definition of extended ML: A gentle introduction.Theoretical Computer Science, 173(2):445-484, 28 Feb 1997.
Datos:Q3393817
Febrero 17, 2022
extended, lenguaje, programación, creado, kahrs, sannella, tarlecki, basado, extiende, sintaxis, para, incluir, axiomas, semántica, cuales, pueden, ejecutables, pero, sirven, para, especificar, rigurosamente, comportamiento, programa, esta, extensión, lenguaje. Extended ML es un lenguaje de programacion creado por Kahrs Sannella y Tarlecki basado en ML Extiende la sintaxis de ML para incluir axiomas de semantica los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento de un programa Con esta extension el lenguaje puede utilizarse para aplicar tecnicas de refinamiento de programas para a partir de una especificacion formal producir un programa en el lenguaje Standard ML que cumple con la especificacion Extended ML se utiliza para la ensenanza de desarrollo formal de programas especificacion de programas y para investigacion en verificacion automatizada de programas Enlaces externos EditarDon Sannella Informacion sobre Extended MLReferencias EditarS Kahrs D Sannella and A Tarlecki The definition of extended ML A gentle introduction Theoretical Computer Science 173 2 445 484 28 Feb 1997 Datos Q3393817 Obtenido de https es wikipedia org w index php title Extended ML amp oldid 117829414, wikipedia, wiki, leyendo, leer, libro, biblioteca,
