Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
Información General
- Autores: Fernando Orejas Valdés (ed. lit.)
, Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) - Editores: Universidad de Castilla-La Mancha
- Año de publicación: 2001
- País: España
- Idioma: inglés
- Recoge los contenidos presentados a: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro).
- Texto completo no disponible (Saber más ...)
Listado de artículos
-
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
Improving the Efficiency of Non-Deterministics Computations
Sergio Antoy, Pascual Julián Iranzo
, Bart Masseypá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
Farhad Arbab
págs. 111-112
INDALOG: A Declarative Deductive Database Language
págs. 113-128
A declarative debugger of wrong answers for lazy functional logic programs
Rafael Caballero, Mario Rodríguez Artalejo
págs. 129-144
Transforming Layered Specifications into Operational Specifications
Francisco Javier Galán Soraluce, José Miguel Cañete Valdeón
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
Declarative Reflection and its Application as a Pattern Language
Juan José Moreno Navarro
, Angel Herranz Nieva 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
El Visitante Genérico Extensible
Francisco Moya, Juan Carlos López
págs. 217-226
Generic Description, Behavior and Animation of Visual Modeling Languages
Hartmut Ehrig, R. Bardohl, C. Ermel
págs. 227-228
Modelling implementations as institution morphisms
Carlos Domínguez, Laureano Lambán Pardo
, Víctor Pascual Ayats, Juan Rubio Alonsopágs. 229-240
Tight and loose semantics for transformation systems
Fernando Orejas Valdés
, Hartmut Ehrig, Elvira Pino 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
Compatibility of Linda Interfaces
Alessandro Brogi, Ernesto Pimentel Sánchez
, Ana María Roldán 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. Pelayopágs. 325-339
