OBJ es una familia de lenguajes de programación introducida por Joseph Goguen en 1976 y en la que José Meseguer siguió trabajando .
Descripción general
Es una familia de lenguajes declarativos de "ultra alto nivel". Cuenta con tipos abstractos , módulos genéricos , subsorts (subtipos con herencia múltiple ), patrón de coincidencia de ecuaciones de módulo, E-estrategias (control del usuario sobre la pereza ), las expresiones módulo (para la combinación de módulos), teorías y puntos de vista (para la descripción de las interfaces de módulos ) para el RRM masivamente paralelo ( máquina de reglas de reescritura ).
Los miembros de la familia de idiomas OBJ incluyen CafeOBJ , Eqlog , FOOPS , Kumo , Maude , OBJ2 y OBJ3 .
OBJ3
Obj3 es una versión de OBJ basado en fin -sorted reescritura . OBJ3 está orientado a agentes y se ejecuta en Kyoto Common Lisp AKCL.
Ver también
Bibliografía
- JA Goguen, Funciones de orden superior consideradas innecesarias para la programación de orden superior . En Temas de investigación en programación funcional (junio de 1990). págs. 309–351.
- JA Goguen; T. Winkler; J. Meseguer; K. Futatsugi; J.-P. Jouannaud (2000), "Introducing 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, págs. 3-167, ISBN 978-1-4757-6541-0
- Este artículo se basa en material extraído del Diccionario de Computación en línea gratuito antes del 1 de noviembre de 2008 e incorporado bajo los términos de "renovación de licencias" de la GFDL , versión 1.3 o posterior.