OBJ (lenguaje de programación)

OBJ es una familia de lenguajes de programación introducida por Joseph Goguen en 1976 y desarrollada posteriormente por José Meseguer .

Descripción general

Es una familia de lenguajes declarativos de "ultra alto nivel". Incluye tipos abstractos , módulos genéricos , subtipos (con herencia múltiple ), coincidencia de patrones módulo ecuaciones, E-strategies (control del usuario sobre la pereza ), expresiones de módulo (para combinar módulos), teorías y vistas (para describir las interfaces de los módulos ) para la máquina de reglas de reescritura (RRM ) masivamente paralela. ^{[ 1 ]}

Los miembros de la familia de lenguajes OBJ incluyen CafeOBJ , Eqlog , FOOPS , Kumo , Maude , OBJ2 y OBJ3 . ^{[ 2 ]}

OBJ2 es un lenguaje de programación con módulos parametrizados similares a Clear y un sistema funcional basado en ecuaciones.

OBJ3 es una versión de OBJ basada en la reescritura ordenada . OBJ3 está orientado a agentes y se ejecuta en Kyoto Common Lisp AKCL.

↑ Este artículo se basa en material tomado de OBJ en el Free On-line Dictionary of Computing antes del 1 de noviembre de 2008 e incorporado bajo los términos de "relicencia" de la GFDL , versión 1.3 o posterior.
↑ La familia OBJ

JA Goguen, Las funciones de orden superior se consideran innecesarias para la programación de orden superior . En Temas de investigación en programación funcional (junio de 1990). págs. 309–351.
"Principios de OBJ2", K. Futatsugi et al., 12.º POPL, ACM 1985, págs. 52–66.
JA Goguen; T. Winkler; J. Meseguer; K. Futatsugi; J.-P. Jouannaud (2000), "Introducción a OBJ", en JA Goguen; G. Malcolm (eds.), Ingeniería de software con OBJ: Especificación algebraica en acción , Springer Science+Business Media, Nueva York, NY, pp. 3–167 , ISBN 978-1-4757-6541-0