Baby Modula-3

Baby Modula-3 es un sublenguaje de programación funcional del lenguaje de programación Modula-3 (subconjunto seguro) basado en ideales inventados por Martín Abadi . Es un lenguaje de programación orientado a objetos para el estudio del diseño de lenguajes de programación ; una parte es implícitamente orientada a prototipos y la otra es explícitamente tipada estáticamente, diseñada para el estudio de la teoría de tipos en informática . Ha sido verificado como un lenguaje formal de sistemas de metaprogramación . ^[¹^] Proviene de la Escuela Escandinava de lenguajes orientados a objetos.

Abadi intentó dar un ejemplo de lenguaje orientado a objetos puro que permitiera estudiar la semántica formal de los objetos. «Baby Modula-3 se define con una semántica operacional estructurada y con un conjunto de reglas de tipo estáticas. Una semántica denotacional garantiza la solidez de esta definición». ^{[ 1 ]} Se ha demostrado que este modelo de objetos posee una decidibilidad bien definida ^{[ 2 ]} (no se conoce una prueba mecánica de ello).

Abadi trabajaba en el Centro de Investigación de Sistemas (SRC) de Digital Equipment Corporation (DEC) en Palo Alto , California . Cuando DEC fue adquirida por Compaq y posteriormente Compaq 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 ]} donde establecieron 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 sí mismo en Types for object and the type of 'self' . ^{[ 5 ]} Abrió el camino para el trabajo en sistemas de verificación semántica formal de Modula-3, para lenguajes de programación de sistemas de tipos orientados a objetos ^que se han utilizado para modelar la semántica formal de lenguajes como Ada y C. ^[⁶ ]

Referencias

1 2 Baby Modula-3 y una teoría de los objetos Archivado el 13 de mayo de 2021 en Wayback Machine Martin Abadi. Digital Equipment Corporation (DEC) Systems Research Center (SRC) Research Report 95 (febrero de 1993)
↑ Schwinghammer, J. (2008-01-01). "Sobre la normalización mediante evaluación para cálculos de objetos". En Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Tipos para pruebas y programas . Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 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 (1996-08-09). A Theory of Objects ( Edición corregida). Springer. ISBN 978-0387947754.
↑ Una teoría de los objetos primitivos (sistemas sin tipo, de primer y segundo orden) (PDF) , consultado el 25/09/2025.
↑ Resúmenes de trabajos presentados a la Sociedad Matemática Americana . Sociedad Matemática Americana. 1995.
↑ Investigación , consultada el 22 de marzo de 2012

[DecSrcRr095-1] 1 2 Baby Modula-3 y una teoría de los objetos Archivado el 13 de mayo de 2021 en Wayback Machine Martin Abadi. Digital Equipment Corporation (DEC) Systems Research Center (SRC) Research Report 95 (febrero de 1993)

[ONBEIOC-2] Schwinghammer, J. (2008-01-01). "Sobre la normalización mediante evaluación para cálculos de objetos". En Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Tipos para pruebas y programas . Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 173–187 . CiteSeerX 10.1.1.140.5764 . doi : 10.1007/978-3-540-68103-8_12 . ISBN 978-3-540-68084-0.

[DecSrcBATOO-3] Abadi, Martin ; Cardelli, Luca (1996-08-09). A Theory of Objects ( Edición corregida). Springer. ISBN 978-0387947754.

[DecSrcTDATOPO-4] Una teoría de los objetos primitivos (sistemas sin tipo, de primer y segundo orden) (PDF) , consultado el 25/09/2025.

[DecSrcTFOATTOS-5] Resúmenes de trabajos presentados a la Sociedad Matemática Americana . Sociedad Matemática Americana. 1995.

[6] Investigación , consultada el 22 de marzo de 2012

[

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

que