A Demand Driven Strategy for Lazy Narrowing with Multisets
Mercedes Abengózar Carneros, Purificación Arenas Sánchez, Ana Gil Luezas
págs. 1-16
págs. 17-32
págs. 33-48
págs. 49-62
págs. 63-76
Applying Frameworks and Object-Oriented Techniques for developing Language Processors Tools
María Cándida Luengo Díez, David Basanta, José Emilio Labra Gayo, Nestor García Chan, Juan Manuel Cueva Lovelle
págs. 77-92
Language Prototyping in the Maude Metalanguage
Manuel Clavel, Francisco Durán Muñoz, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, José Meseguer Guaita
págs. 93-110
Panta Rei (Everything Flows): A Calculus of Channels
págs. 111-112
INDALOG: A Declarative Deductive Database Language
págs. 113-128
págs. 129-144
págs. 145-162
Abstract Satisfiability of Linear Temporal Logic
María del Mar Gallardo Melgarejo, Pedro A. Merino Calvo, Ernesto Pimentel Sánchez
págs. 163-178
págs. 179-198
Un lenguaje modelo para la definición y análisis de refactorizaciones
Yania Crespo, Valentín Cardeñoso Payo, José Manuel Marqués Corral
págs. 199-216
págs. 217-226
págs. 227-228
Modelling implementations as institution morphisms
Carlos Domínguez, Laureano Lambán Pardo, Víctor Pascual Ayats, Juan Rubio Alonso
págs. 229-240
págs. 241-262
págs. 263-278
Sincronización Multiproceso en Programas Concurrentes: Selección Completamente k-Justa de Interacciones
David Ruiz Cortés, Rafael Corchuelo Gil, José Antonio Pérez Castellanos, José Miguel Toro Bonilla
págs. 279-294
págs. 295-308
A Pattern-based Language to Coordinate HPF Tasks
José Manuel Díaz Martín, Bartolomé Rubio, Enrique Soler Castillo, José María Troya Linero
págs. 309-324
Reasoning about Probabilistic and Nondeterministic Processes
Diego Cazorla López, Fernando Cuartero Gómez, Valentín Valero Ruiz, Fernando L. Pelayo
págs. 325-339
© 2001-2024 Fundación Dialnet · Todos los derechos reservados