Principles of Declarative Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650126, 9783540497660

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encapsulating data in logic programming via categorical constraints

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056628 ◽

1998 ◽

pp. 391-410 ◽

Author(s):

James Lipton ◽

Robert McGrail

Keyword(s):

Logic Programming

Download Full-text

Approaches to the incremental detection of implicit equalities with the revised simplex method

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056634 ◽

1998 ◽

pp. 481-496 ◽

Author(s):

Philippe Refalo

Keyword(s):

Simplex Method ◽

Revised Simplex Method

Download Full-text

Explicit substitutions for objects and functions

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056615 ◽

1998 ◽

pp. 195-212 ◽

Author(s):

Delia Kesner ◽

Pablo E. Martínez López

Keyword(s):

Explicit Substitutions

Download Full-text

Termination of logic programs with block declarations running in several modes

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056608 ◽

1998 ◽

pp. 73-88 ◽

Author(s):

Jan-Georg Smaus ◽

Pat Hill ◽

Andy King

Keyword(s):

Download Full-text

A compiler for rewrite programs in associative-commutative theories

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056617 ◽

1998 ◽

pp. 230-249 ◽

Author(s):

Pierre-Etienne Moreau ◽

Hélène Kirchner

Download Full-text

Integrating constraint propagation in complete solving of linear diophantine systems

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056633 ◽

1998 ◽

pp. 463-480

Author(s):

Farid Ajili ◽

Hendrik C. R. Lock

Keyword(s):

Constraint Propagation ◽

Linear Diophantine Systems

Download Full-text

Architecture software using: A methodology for language development

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056614 ◽

1998 ◽

pp. 170-194 ◽

Author(s):

Charles Consel ◽

Renaud Marlet

Keyword(s):

Language Development

Download Full-text

Optimal reduction of functional expressions

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056630 ◽

1998 ◽

pp. 427-428

Author(s):

Andrea Asperti

Keyword(s):

Optimal Reduction

Download Full-text

A hidden Herbrand Theorem

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056632 ◽

1998 ◽

pp. 445-462

Author(s):

Joseph Goguen ◽

Grant Malcolm ◽

Tom Kemp

Keyword(s):

Herbrand Theorem

Download Full-text

Program analysis in λprolog

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056625 ◽

1998 ◽

pp. 353-354

Author(s):

John Hannan

Keyword(s):

Program Analysis

Download Full-text