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 Segura
págs. 31-38
Implementing memory reusing in the UHC Haskell complier
Henrique Ferreiro, David Castro, Víctor M. Gulías , Atze Dijkstra
págs. 39-46
Hacia un sistema de tipos estático y dinámico
Francisco Ortín Soler , Daniel Zapico Palacio
pá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
An implementation of the MEB and CEB analysis for CSP
María Luisa Llorens Agost, Francisco Javier Oliver Villarroya , Josep Silva, Salvador Tamarit
pá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íez
págs. 139-148
A new proposal for using first-order theorem provers to reason with OWL DL ontologies
Mikel Alecha Movilla, 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 Wilding
págs. 181-182
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
págs. 239-254
Using Matrix interpretations over the reals in proofs of termination
Beatriz Alarcón Jiménez, Salvador Lucas Alba , Rafael Navarro Marset
pá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
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
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íaz
pá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
© 2008-2024 Fundación Dialnet · Todos los derechos reservados