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
pá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
pág. 75
Mechanized Equivalence Proofs of Pipelined Processor Software Models
Francesc Babot, Miquel Bertran, August Climent i Ferrer, Jordi Riera Baburés, Ricard Puig
pág. 91
Towards Router Specification in Curry: The Language ROSE
J. Guadalupe Ramos Díaz, Germán Vidal Oriola, Josep Silva
pá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 Ruiz
pá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
pá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 Varela
pág. 199
pág. 215
