Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
Alexander Serebrenik, Susana Munoz-Hernandez · 2005
Abstract onlyNot checked
Software
Filters3 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
Readable here
66 papersQuestions on this topic
A Shared Write-protected Root Filesystem for a Group of Networked Clients
Ignatios Souvatzis · Proceedings of the 2nd European BSD Conference, 2002, Amsterdam, The Netherlands · 2005
Abstract onlyNot checked
Proving or Disproving likely Invariants with Constraint Reasoning
Tristan Denmat, Arnaud Gotlieb, Mireille Ducasse · 2005
Abstract onlyNot checked
An Improved Non-Termination Criterion for Binary Constraint Logic Programs
Etienne Payet, Fred Mesnard · 2005
Abstract onlyNot checked
Type Inference for Guarded Recursive Data Types
Peter J. Stuckey, Martin Sulzmann · 2005
Abstract onlyNot checked
ADF95: Tool for automatic differentiation of a FORTRAN code designed for large numbers of independent variables
Christian W. Straka · 2005
Abstract onlyNot checked
Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de Informacoes Geograficas
Rudini M. Sampaio, Horacio H. Yanasse · INFOCOMP Journal of Computer Science, 3(1), 2004 · 2005
Abstract onlyNot checked
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Farn Wang · 2005
Abstract onlyNot checked
Extending Design by Contract for Aspect-Oriented Programming
David H. Lorenz, Therapon Skotiniotis · 2005
Abstract onlyNot checked
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
Catherine Oriat · 2004
Abstract onlyNot checked
Algorithm xxx: Modified Bessel functions of imaginary order and positive argument
Amparo Gil, Javier Segura, Nico M. Temme · 2004
Abstract onlyNot checked
Specialization of Functional Logic Programs Based on Needed Narrowing
Maria Alpuente, Michael Hanus, Salvador Lucas et al. · 2004
Abstract onlyNot checked
On the Expressive Power of First-Order Boolean Functions in PCF
Riccardo Pucella, Prakash Panangaden · Theoretical Computer Science 266(1-2), pp. 543-567, 2001 · 2004
Abstract onlyNot checked
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi et al. · 2004
Abstract onlyNot checked
A Tribute to Alain Colmerauer
Jacques Cohen · 2004
Abstract onlyNot checked
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Roberto Bagnara, Roberta Gori, Patricia M. Hill et al. · 2004
Abstract onlyNot checked
O(1) Reversible Tree Navigation Without Cycles
Richard A. O'Keefe · Theory and Practice of Logic Programming, vol. 1, no. 5, 2001 · 2004
Abstract onlyNot checked
On Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak, Martin Rinard · 2004
Abstract onlyNot checked
A Comparative Study of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij · 2004
Abstract onlyNot checked
Multi-Threading And Message Communication In Qu-Prolog
Keith L. Clark, Peter J. Robinson, Richard Hagen · Theory and Practice of Logic Programming, vol. 1, no. 3, 2001 · 2004
Abstract onlyNot checked