Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 28 de marzo de 2024
  

Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.

Título inglés Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.
Título español Rectitud de la composición vertical y horizontal para las ideas de ejecución basadas en constructores y abstractores.
Autor/es Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Orejas, Fernando
Organización Tech. Univ. Berlin, Berlín, Alemania;Univ. Bremen, Bremen, Alemania;Univ. Politèc. Catalunya, Barcelona, España
Revista 0214-3577
Publicación 1997, 10 (2): 365-387, 11 Ref.
Tipo de documento articulo
Idioma Inglés
Resumen inglés A new implementation concept for parameterized specifications based on constructors and abstractors was recently introduced by Orejas, Navarro and Sánchez which includes most of the implementation concepts in the literature for initial as well as loose semantics. In this paper we redefine vertical and different kinds of horizontal compositions using the new concept of semi-pushout defined for a mixture of signature and specification morphisms. The main results concerning correctness of horizontal and vertical composition are based on new correctness requirements for constructors and abstractors.
Clasificación UNESCO 120324
Palabras clave español Programación lógica ; Lenguajes de programación ; Composición ; Posición vertical ; Posición horizontal ; Parametrización
Código MathReviews MR1605666
Código Z-Math Zbl 0889.68103
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es