An Improved Non-Termination Criterion for Binary Constraint Logic Programs
Etienne Payet, Fred Mesnard · 2005
Abstract onlyNot checked
Software
Filters2 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
47 papersQuestions on this topic
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
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
Secure Prolog-Based Mobile Code
Seng Wai Loke, Andrew Davison · Theory and Practice of Logic Programming, vol. 1, no. 3, 2001 · 2004
Abstract onlyNot checked
Predictable Software -- A Shortcut to Dependable Computing ?
George Candea · WIP Session, USENIX Technical Conference, Boston, MA, June 2004 · 2004
Abstract onlyNot checked
Roles Are Really Great!
Viktor Kuncak, Patrick Lam, Martin Rinard · 2004
Abstract onlyNot checked
Finding the "truncated" polynomial that is closest to a function
Nicolas Brisebarre, Jean-Michel Muller · 2003
Abstract onlyNot checked
Inferring Termination Conditions for Logic Programs using Backwards Analysis
Samir Genaim, Michael Codish · 2003
Abstract onlyNot checked
Web Engineering
Yogesh Deshpande, San Murugesan, Athula Ginige et al. · J.Web Engineering 1 (2002) 003-017 · 2003
Abstract onlyNot checked
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization
Mikhail Auguston, Clinton Jeffery, Scott Underwood · 2003
Abstract onlyNot checked
FAYE: A Java Implement of the Frame/Stream/Stop Analysis Model
S. Patton · 2003
Abstract onlyNot checked