Download III Jornadas de Programación y Lenguajes

Patrocinan :
Las III Jornadas sobre Programación y Lenguajes (PROLE’03)
que tienen lugar en Alicante los días 12, 13 y 14 de noviembre
sw 2003, junto a otros eventos en el marco de la Informática:
JISBD (Jornadas de Ingeniería del Software y Bases de Datos),
JBIDI (Jornadas de Bibliotecas digitales) y JSPMCYT (Jornadas
de Seguimiento de Proyectos del Ministerio de Ciencia y
Tecnología) así como talleres y tutoriales.
PROLE continua con los eventos celebrados en años anteriores
en Almagro (2001) y El Escorial (2002) que surgieron con la
intención de ser un lugar de reunión de los grupos españoles que
trabajan en temas ligados a la programación y a los lenguajes de
programación. Con la organización de este evento, se pretende
que los, cada vez más numerosos, grupos que trabajan en España
en este ámbito puedan conocerse mejor, intercambiar
experiencias y resultados de investigación y, posiblemente,
iniciar
líneas
de
cooperación.
El ámbito de PROLE comprende trabajo tanto teórico como
práctico alrededor de la especificación, diseño, implementación,
análisis y verificación de programas, lenguajes de programación
y nuevos modelos de programación
III Jornadas de
Programación
y Lenguajes
Alicante, del 12 al 14
de noviembre de 2003
Sede de Alicante de la
Universidad de Alicante
Sede de Alicante de la Universidad de
Alicante
C/ Ramón y Cajal, nº 4
http://gplsi.dlsi.ua.es/congresos/prole03/
Programa
Miércoles, 12 de noviembre
Jueves, 13 de noviembre
Viernes, 14 de noviembre
8:30
8:30
8:30
Registro y entrega de documentación
Registro y entrega de documentación
9:15 - 10:45 Sesión 7C
9:30 - 10:30 Sesión 4C
9:30 - 10:30 Sesión 1C
Moderador: Manuel Palomar
AULA 6
Moderador: Ernesto Pimentel
Moderador: Víctor Gulias
AULA 6
ARMISTICE: Una experiencia desarrollando software de gestión con
Erlang.
L. Castro, V. M. Gulías, D. Cabrero, C. Abalde, C. Varela
Towards Router Specification in Curry: The Language ROSE.
J.Silva, J. G. Ramos, G. Vidal
Building an Interface Between Eden and Maple: Towards an Easy
Parallelization of Computer Algebra Algorithms.
R. Martínez, R. Peña
Towards the Uniform Manipulation of Visual and Texual Languages in
AToM3.
J. de Lara, E. Guerra
10:45 - 11:15
Pausa – café
10:45 - 11:15
Apertura de las Jornadas
11:15 – 12:15 Conferencia Invitada
11:15 – 11:45
SALA ALTAMIRA
SALA CAM
Moderador: Hilario Canós
SALA CAM
Prof. David Parnas
Using Traditional Mathematics for Precise Specification and Description
12:45 – 13:45 Sesión 2C
AULA 6
Comida
AULA 6
Comida
Artículos Cortos
OnDemandOBJ: an optimized OBJ interpreter.
M. Alpuente, S. Escobar, S. Lucas
17:30 - 18.00
Pausa - café
18:00 - 19:00
Conferencia Invitada
18:00 - 19:00
Conferencia Invitada
Moderador: Juan J. Moreno
SALA ALTAMIRA
Prof. Yuri Gurevich
Executable Specifications: The Abstract State Machine Approach
20:30
21:00
Salida Autobuses al Castillo
Cena Castillo Santa Bárbara
AULA 6
Moderador: Nieves R. Brisaboa
SALA ALTAMIRA
Urgency in TPBC (2).
O. M.Alonso y D. de Frutos Escrig
Coordinación basada en tuplas compartidas y en canales de comunicación.
S. Amaro, E. Pimentel y A. M. Roldán
10:45 – 11:15
Pausa - café
11:15 – 12:15
Conferencia Invitada
Moderador: Fernando Orejas
12:30 - 13:30 Sesión 8C
Moderador: Jesús Alemdros
Prof. Nikos Lorentzos
Temporal Data Management: Research Review and Solution
19:30
Salida Autobuses a MARQ
20:00
Visita Museo arqueológico (MARQ) y cóctel
AULA 6
Refactorizaciones de especialización en cuanto a genericidad. Definición
para una familia de lenguajes y soporte basado en frameworks.
R. Marticorena Sánchez, C. López Nozal, Y. Crespo González-Carvajal
ADDS: Una Aproximación Documental al Desarrollo de Software.
J.L. Sierra, A. Fernández-Valmayor, B. Fernández-Manjón, A. Navarro
14:30
16:00 - 17:30 Sesión 6C
Moderador: María Alpuente
Pausa – café
AULA 6
Symbolic Model Checking for Timed Concurrent Constraint Programs.
M. Alpuente, M. Falaschi and A. Villanueva
Mechanized Equivalence Proofs of Pipelined Processor Software Models.
F. Babot, M. Bertran, J. Riera, R. Puig, A. Climent
17:30 - 18.00
Polynomials for proving termination of context-sensitive rewriting.
S. Lucas
SALA CAM
12:30 – 13:30 Sesión 5C
13:30 - 16:00
16:30 - 17:30 Sesión 3C
AULA 6
Prof. Alain Colmerauer
Complexity of Universal Programs
Un lenguaje para la definición en tiempo de ejecución de variables físicas
asociadas a un simulador.
M. Díaz, D. Garrido, E. Soler
From Executable Specifications to Java.
Á. Herranz, N. Maya, J. J. Moreno-Navarro
Moderador: Rafael Corchuelo
Prof. Michael Kifer
In Search of Semantics for the Semantic Web
Moderador: Roberto Niewenhuis
Moderador: Ricardo Peña
Comparing Abstract Semantics for Model Checking.
M. M. Gallardo, P. Merino, E. Pimentel
14:00 - 16:00
Pausa - café
Moderador: Isidro Ramos
11:45 – 12:45 Conferencia Invitada
Registro y entrega de documentación
Clausura