Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
Información General
- Autores: Paqui Lucio (ed. lit.)
, Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) - Editores: Mondragon Unibertsitatea
- Año de publicación: 2009
- País: España
- Idioma: español
- ISBN: 978-84-692-4600-9
- Recoge los contenidos presentados a: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián).
- Texto completo no disponible (Saber más ...)
Otros catálogos
Listado de artículos
-
-
Charla invitada
-
Taller de Programación Funcional
Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso
Francisco Jesús Martín Mateos
, José Luis Ruiz Reina , Julio Rubio García , Laureano Lambán Pardo págs. 7-14
María Alpuente Frasnedo
, Marco A. Feliú, Christophe Joubert, Alicia Villanueva García págs. 15-22
Explicity typed exceptions for Haskell
José Iborra López
págs. 23-30
Experiences in developing a complier for Safe using Haskell
Manuel Francisco Montenegro Hermida
, Ricardo Peña Marí , Clara Segurapágs. 31-38
Implementing memory reusing in the UHC Haskell complier
Henrique Ferreiro, David Castro, Víctor M. Gulías
, Atze Dijkstrapágs. 39-46
-
Tipos, estructuras de datos y gestión de memoria
Hacia un sistema de tipos estático y dinámico
Francisco Ortín Soler
, Daniel Zapico Palaciopágs. 49-64
Certified absence of dangling pointers in a language withe explicit deallocation
Javier de Dios Castro, Ricardo Peña Marí
, Manuel Francisco Montenegro Hermida págs. 65-74
Live heap space analysis for languages with garbage collection
Samir Genaim
, Elvira Albert , Miguel Gómez-Zamalloa Gil págs. 75-76
págs. 77-86
-
Herramientas y sistemas software
An implementation of the MEB and CEB analysis for CSP
María Luisa Llorens Agost, Francisco Javier Oliver Villarroya
, Josep Silva, Salvador Tamaritpágs. 89-98
UNICORN: a programming enviroment for busi-prolog
Clemente Rubio Manzano, Pascual Julián Iranzo
págs. 99-108
Alexei Lescaylle Daudinot, Alicia Villanueva García
págs. 109-118
TOY: a system for experimenting with cooperation of constraint domains
Sonia Estévez Martín, Antonio Fernández Caballero
, Fernando Sáenz Pérez págs. 118-128
NiMoToons: a totally graphic workbench for program tuning and experimentation
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
págs. 129-138
Termination and cost analysis with COSTA and its user interfaces
Elvira Albert
, Puri Arenas, Samir Genaim , Germán Puebla, Damiano Zanardini , Diana Vanessa Ramírez Deantes, Miguel Gómez-Zamalloa Gil , Guillermo Román Díezpágs. 139-148
-
Razonamiento, lógica y semánticas
A new proposal for using first-order theorem provers to reason with OWL DL ontologies
Mikel Alecha, Javier Álvez, Montserrat Hermo Huguet
, Egoitz Laparra Martín págs. 151-160
Gabriel Aranda López, Susana Nieva Soto
, Fernando Sáenz Pérez , Jaime Sánchez Hernández págs. 161-176
A fully abstract semantics for constructor systems
Francisco Javier López Fraguas
, Juan Rodríguez Hortalá , Jaime Sánchez Hernández págs. 177-178
Nominal logic from a higher-order perspective
Jordi Levy, Mateu Villaret
págs. 179-180
Efficient execution in an automated reasoning environment
José Luis Ruiz Reina
, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Moore, Sandip Ray, Robert Sumners, Daron Vroon, Matthew Wildingpágs. 181-182
-
Programación lógico funcional y con restricciones
A graphical user interface for Maude-NPA
Sonia Santiago, Carolyn Talcott, Santiago Escobar Román
, Catherine Meadows, José Meseguer Guaita págs. 185-200
Ignacio Castiñeiras, Fernando Sáenz Pérez
págs. 201-216
Cooperation of the finite domain and set solvers in TOY
Sonia Estévez Martín, Antonio Fernández Caballero
, Fernando Sáenz Pérez págs. 217-226
Advances in type systems for functional-logic programming
Francisco Javier López Fraguas
, Enrique Martín Martín , Juan Rodríguez Hortalá págs. 227-236
-
Análisis de terminación
págs. 239-254
Using Matrix interpretations over the reals in proofs of termination
Beatriz Alarcón Jiménez, Salvador Lucas Alba
, Rafael Navarro Marsetpágs. 255-264
Mechanizing proofs of termination in the context-sensitive dependency pairs framework
Raúl Gutiérrez Gil, Salvador Lucas Alba
págs. 265-274
A fast procedure for the strong termination analysis of logic programs
Michael Leuschel, Salvador Tamarit, Germán Vidal Oriola
págs. 275-284
-
CSP, concurrencia y pereza
págs. 287-302
A system for CSP solving through satisfiability Modulo theories
Miquel Bofill, Miquel Palahí, Mateu Villaret
págs. 303-312
To be or not to be...lazy (in a parallel context)
Mercedes Hidalgo Herrero, Yolanda Ortega Mallén
págs. 313-328
Properties of an operational semantics for distributed lazy evaluation
Lidia Sánchez Gil, Mercedes Hidalgo Herrero, Yolanda Ortega Mallén
págs. 329-338
-
Programación lógica temporal y difusa
A new approach to temporal logic programming
José Gaintzarain Ibarmia, Lucio Paqui
págs. 341-350
Similitary based reasoning in qualified logic programming
Rafael Caballero, Mario Rodríguez Artalejo
, Carlos A. Romero Díazpágs. 351-352
Modeling interpretative steps in fuzzy logic computations
Pedro José Morcillo, Ginés Damián Moreno Valverde
págs. 353-354
Pedro José Morcillo, Ginés Damián Moreno Valverde
págs. 355-363
-
