Volume 258,
Number 1,
December 2009
- Paqui Lucio, Ginés Moreno, Ricardo Peña:
Preface.
1-2
- Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA.
3-20
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
To be or not to be ...lazy (In a Parallel Context).
21-39
- Salvador Lucas:
Automatic Proofs of Termination With Elementary Interpretations.
41-61
- Alexei Lescaylle, Alicia Villanueva:
The tccp Interpreter.
63-77
- Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez:
TOY: A System for Experimenting with Cooperation of Constraint Domains.
79-91
- Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo:
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation.
93-107
- Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini:
Termination and Cost Analysis with COSTA and its User Interfaces.
109-121
Volume 258,
Number 2,
December 2009
Last update Sat May 26 06:15:27 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page