Share This Author
Constraint logic programming
A class of programming languages, the CLP languages, are defined, all of which share the same essential semantic properties, and are highly declarative and are soundly based within a unified framework of formal semantics.
Whole-genome comparative analysis of three phytopathogenic Xylella fastidiosa strains
- A. Bhattacharyya, S. Stilwagen, N. Kyrpides
- BiologyProceedings of the National Academy of Sciences…
- 30 August 2002
A comparative analysis of the complete genome of Xf pv citrus and the partial genomes of two recently sequenced strains of this species, demonstrating the effectiveness of comparative analysis strategies in the interpretation of genomes that are closely related.
Explicit representation of terms defined by counter examples
It is shown that the dual problem of computing a generalization given a set of counter examples is decidable by providing an algorithm which, given an implicit representation will return a finite explicit representation or report that none exists.
Foundations of Deductive Databases and Logic Programming
Closures and Fairness in the Semantics of Programming Logic
- J. Lassez
- Computer SciencePODS '90
- 2 April 1990
It is shown how one can design a querying system for sets of linear constraints by using basic concepts from logic programming and symbolic computation, as well as algorithms from linear programming and computational geometry.
A Theory of Complete Logic Programs with Equality
Fixed Point Theorems and Semantics: A Folk Tale