Software

Filters2 filters applied

Year

Readable here

At least an abstract

534 papersQuestions on this topic

1 filter appliedReadable here: At least an abstract Clear all

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
Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti · 2004
Abstract onlyNot checked
Learning Hybrid Algorithms for Vehicle Routing Problems
Yves Caseau, Glenn Silverstein, Francois Laburthe · Theory and Practice of Logic Programming, vol. 1, no. 6, 2001 · 2004
Abstract onlyNot checked
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara · 2004
Abstract onlyNot checked
On computing the fixpoint of a set of boolean equations
Viktor Kuncak, K. Rustan M. Leino · 2004
Abstract onlyNot checked