Bebé Modula-3 es una programación funcional sublenguaje de Modula-3 (subconjunto seguro) lenguaje de programación basado en los ideales inventadas por Martín Abadi . Es un lenguaje de programación orientado a objetos para estudiar el diseño de lenguajes de programación ; una parte está implícitamente orientada a prototipos , y la otra está explícitamente tipificada estáticamente diseñada para estudiar la teoría de tipos de ciencias de la computación . Se ha comprobado como lenguaje formal de los sistemas de metaprogramación . [1] Viene delEscuela escandinava de lenguajes orientados a objetos.
Abadi intentó dar un ejemplo de lenguaje puro orientado a objetos que permitiría estudiar la semántica formal de los objetos. "Baby Modula-3 se define con una semántica operativa estructurada y con un conjunto de reglas de tipo estático. Una semántica denotacional garantiza la solidez de esta definición". [1] Se ha demostrado que este modelo de objeto tiene una capacidad de decisión bien definida [2] (no se conoce una prueba mecánica de ello).
Abadi trabajó en el Centro de Investigación de Sistemas (SRC) de Digital Equipment Corporation (DEC ) en Palo Alto , California . Como DEC fue comprado por Compaq y luego Compaq fue comprado por Hewlett-Packard (HP), el informe SRC 95 fue puesto a disposición del público por HP.
Influencias
Luca Cardelli y Martín Abadi escribieron el libro A Theory of Objects en 1996, [3] estableciendo cálculos formales para la semántica de los lenguajes de programación orientados a objetos. Baby Modula-3 influyó en este trabajo según Cardelli, [4] y guió un cálculo del tipo de yo en Tipos para objeto y el tipo de "yo" . [5] Se ha abierto el camino para el trabajo en Modula-3 sistemas formales comprobación semántica, por orientados a objetos sistema de tipo de lenguajes de programación que se han utilizado para modelar la semántica formal de lenguajes como Ada y C . [6]
Referencias
- ^ a b Baby Modula-3 y una teoría de los objetos Martin Abadi. Informe de investigación 95 del Centro de Investigación de Sistemas (SRC) de Digital Equipment Corporation (DEC) (febrero de 1993)
- ↑ Schwinghammer, J. ( 1 de enero de 2008). "Sobre la normalización por evaluación para cálculos de objetos". En Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Tipos de pruebas y programas . Apuntes de conferencias en informática. 4941 . Springer Berlín Heidelberg. págs. 173-187. CiteSeerX 10.1.1.140.5764 . doi : 10.1007 / 978-3-540-68103-8_12 . ISBN 978-3-540-68084-0.
- ^ Abadi, Martin ; Cardelli, Luca (9 de agosto de 1996). Una teoría de los objetos (edición corregida). Saltador. ISBN 978-0387947754.
- ^ A Theory of Primitive Objects (sistemas sin tipo, de primer y segundo orden) (PDF) , consultado el 29 de marzo de 2012[ enlace muerto permanente ]
- ^ Resúmenes de trabajos presentados a la American Mathematical Society . Sociedad Matemática Estadounidense. 1995.
- ^ Investigación , consultado el 22 de marzo de 2012