A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
Ludovic Langevine, Mireille Ducasse · 2005
Abstract onlyNot checked
Software
Filters1 filter applied
591 papersQuestions on this topic
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini et al. · 2005
Abstract onlyNot checked
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
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
Checking C++ Programs for Dimensional Consistency
I. Josopait · 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
Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003)
Michiel Ronsse, Koen De Bosschere · 2004
Abstract onlyNot checked
Tsnnls: A solver for large sparse least squares problems with non-negative variables
Jason Cantarella, Michael Piatek · 2004
Abstract onlyNot checked
A treatment of higher-order features in logic programming
Gopalan Nadathur · 2004
Abstract onlyNot checked
CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms
Yves Caseau, Francois-Xavier Josset, Francois Laburthe · Theory and Practice of Logic Programming, vol. 2, no. 6, 2002 · 2004
Abstract onlyNot checked
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Riccardo Pucella, Erik Meijer, Dino Oliva · 2004
Abstract onlyNot checked
A system for reflection in C++
Duraid Madina, Russell K. Standish · Proceedings AUUG 2001: Always on and Everywhere, 207. ISBN 0957753225 · 2004
Abstract onlyNot checked
Worst-Case Groundness Analysis Using Definite Boolean Functions
Samir Genaim, Michael Codish, Jacob M. Howe · Theory and Practice of Logic Programming, vol. 1, no. 5, 2001 · 2004
Abstract onlyNot checked
Enhanced sharing analysis techniques: a comprehensive evaluation
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill · 2004
Abstract onlyNot checked