Aprendizaje automático extendido

Extended ML es un lenguaje de programación de alto nivel , de propósito general y amplio espectro, basado en los lenguajes ML y Standard ML , que abarca tanto la especificación como la implementación de programas . Extiende la sintaxis de ML para incluir axiomas , que no necesitan ser ejecutables, pero que pueden especificar rigurosamente el comportamiento de un programa. Con esta adición, el lenguaje se puede utilizar para el refinamiento por etapas, procediendo gradualmente desde una especificación formal inicial hasta obtener finalmente un programa Standard ML ejecutable. La corrección del ejecutable final con respecto a la especificación original se puede establecer demostrando la corrección de cada uno de los pasos de refinamiento. Extended ML se utiliza para la investigación y la enseñanza de métodos formales en el desarrollo y la especificación de programas, así como para la investigación en verificación automática de programas .

Extended ML no guarda relación con el lenguaje de programación Extensible ML (aparte de derivar de forma similar de ML), ni con el lenguaje de especificación Extensible Markup Language (XML).

• Sannella, D .; Tarlecki, A. (1986). «ML extendido: un marco independiente de la institución para el desarrollo formal de programas». Actas del Taller sobre Teoría de Categorías y Programación Informática: ETAPS'98 . Vol.  173. Lisboa, Portugal: Springer LNCS 240. pp. 364–389 . Taller en Guildford, Inglaterra; 1985.
• Sannella, D.; Tarlecki, A. (1989). Hacia el desarrollo formal de programas de aprendizaje automático: fundamentos y metodología; ECS-LFCS-89-71 (Informe). Edimburgo, Escocia: Laboratorio de Fundamentos de la Informática, Universidad de Edimburgo.Resumen ampliado en las Actas de la Conferencia Conjunta sobre Teoría y Práctica del Desarrollo de Software, Barcelona, ​​España, Springer LNCS, pp. 352, 375–389 (1989).
• Kahrs, S.; Sannella, D .; Tarlecki, A. (1994). "Interfaces and Extended ML". Actas del Taller de la ACM sobre Lenguajes de Definición de Interfaces . SIGPLAN Notices. Vol.  29. Portland, Oregón. págs. 111–118 . {{cite book}}: CS1 mantenimiento: falta el editor de ubicación ( enlace )
• Kahrs, S.; Sannella, D .; Tarlecki, A. (28 de febrero de 1997). "La definición de ML extendido: una introducción sencilla". Theoretical Computer Science . 173 (2): 445– 484. doi : 10.1016/S0304-3975(96)00163-6 .
• Kahrs, S.; Sannella, D. (1998). «Reflexiones sobre el diseño de un lenguaje de especificación». Actas del Coloquio Internacional sobre Enfoques Fundamentales de la Ingeniería de Software: ETAPS'98 . Vol.  173. Lisboa, Portugal: Springer LNCS 1382. pp. 154–170 . 
• Sannella, D. ; Tarlecki, A. (1999). "Métodos algebraicos para la especificación y el desarrollo formal de programas". ACM Computing Surveys . 31 (3es): 10. doi : 10.1145/333580.333589 .

• Sitio web oficial , Don Sannella