Software

Filters2 filters applied

Year

Readable here

At least an abstract

595 papersQuestions on this topic

1 filter appliedReadable here: At least an abstract Clear all

Non-Termination Inference of Logic Programs
Etienne Payet, Fred Mesnard · 2004
Abstract onlyNot checked
High-Level Networking With Mobile Code And First Order AND-Continuations
Paul Tarau, Veronica Dahl · Theory and Practice of Logic Programming, vol. 1, no. 3, 2001 · 2004
Abstract onlyNot checked
Higher-Order Concurrent Win32 Programming
Riccardo Pucella · 2004
Abstract onlyNot checked
Transformations of Logic Programs with Goals as Arguments
Alberto Pettorossi, Maurizio Proietti · 2004
Abstract onlyNot checked
A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint
Willem Jan van Hoeve · 2004
Abstract onlyNot checked
A Proof Theoretic Approach to Failure in Functional Logic Programming
Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez · Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004 · 2004
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
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