Electronic Notes in Theoretical Computer Science, Volume 258
Volume 258, Number 1, December 2009
- 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
- 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
- Leo Marcus: Preface. 1-2
- Fuad Abujarad, Sandeep S. Kulkarni: Weakest Invariant Generation for Automated Addition of Fault-Tolerance. 3-15
- Pablo F. Castro, T. S. E. Maibaum: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. 17-34
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team