III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003
Información General
- Autores: Juan José Moreno Navarro (coord.)
, Manuel Palomar Sanz (coord.) - Editores: Universidad de Alicante / Universitat d'Alacant, Servicio de Publicaciones
- Año de publicación: 2003
- País: España
- Idioma: español
- ISBN: MU-2299-2003
- Texto completo no disponible (Saber más ...)
Listado de artículos
-
Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simulador
Manuel Díaz Rodríguez
, Daniel Garrido Márquez, Enrique Soler Castillo pág. 1
ADDS: Una aproximación documental al desarrollo de software
José Luis Sierra Rodríguez
, Baltasar Fernández Manjón , Alfredo Fernández-Valmayor Crespo , Antonio Navarro Martín pág. 17
From Executable Specifications to Java
Angel Herranz Nieva
, Juan José Moreno Navarro , Noelia Mayapág. 33
pág. 45
pág. 59
Refactorizaciones de especialización en cuanto a genericidad: Definición para una familia de lenguajes y soporte basado en frameworks
Raúl Marticorena Sánchez
, Carlos López Nozal , Yania Crespo pág. 75
Mechanized Equivalence Proofs of Pipelined Processor Software Models
Francesc Babot, Miquel Bertran, August Climent i Ferrer
, Jordi Riera Baburés , Ricard Puigpág. 91
Towards Router Specification in Curry: The Language ROSE
J. Guadalupe Ramos Díaz, Germán Vidal Oriola
, Josep Silvapág. 105
Coordinación basada en tuplas compartidas y en canales de comunicación
Ernesto Pimentel Sánchez
, Silva Amaro, Ana María Roldán Ruizpág. 119
OnDemandOBJ: an optimized OBJ interpreter
María Alpuente Frasnedo
, Santiago Escobar Román , Salvador Lucas Alba pág. 135
Symbolic Model Checking for Timed Concurrent Constraint Programs
María Alpuente Frasnedo
, Moreno Falaschi , Alicia Villanueva García pág. 151
Comparing Abstract Semantics for Model Checking
María del Mar Gallardo Melgarejo
, Pedro Merino Gómez , Ernesto Pimentel Sánchez pág. 167
Building an Interface Between Eden and Maple: Towards an easy Parallelization of Computer Algebra Algorithms
Ricardo Peña Marí
, Rafael Martínezpág. 183
ARMISTICE: Una experiencia desarrollando software de gestión con Erlang
Laura M. Castro
, Víctor M. Gulías , David Cabrero , C. Abalde, Carlos Varelapág. 199
pág. 215
