Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540558446

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A technique for transforming logic programs by fold-unfold transformations

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_137 ◽

2006 ◽

pp. 202-216 ◽

Cited By ~ 1

Author(s):

Francis Alexandre

Keyword(s):

Logic Programs

Download Full-text

Path analysis for lazy data structures

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_127 ◽

2006 ◽

pp. 54-68

Author(s):

Carsten K. Gomard ◽

Peter Sestoft

Keyword(s):

Path Analysis ◽

Data Structures

Download Full-text

Why the occur-check is not a problem

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_128 ◽

2006 ◽

pp. 69-86 ◽

Cited By ~ 5

Author(s):

Krzysztof R. Apt ◽

Alessandro Pellegrini

Download Full-text

Using cached functions and constructors for incremental attribute evaluation

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_132 ◽

2006 ◽

pp. 130-144 ◽

Cited By ~ 4

Author(s):

Maarten Pennings ◽

Doaitse Swierstra ◽

Harald Vogt

Keyword(s):

Attribute Evaluation ◽

Incremental Attribute Evaluation

Download Full-text

A bottom-up interpreter for a higher-order logic programming language

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_145 ◽

2006 ◽

pp. 326-340 ◽

Cited By ~ 1

Author(s):

Alain Hui Bon Hoa

Keyword(s):

Logic Programming ◽

Programming Language ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Bottom Up ◽

Logic Programming Language

Download Full-text

Implementing attribute grammars by computational models

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_161 ◽

2006 ◽

pp. 485-486

Author(s):

Jaak Vilo

Keyword(s):

Computational Models ◽

Attribute Grammars

Download Full-text

BinProlog: A continuation passing style Prolog engine

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_158 ◽

2006 ◽

pp. 479-480 ◽

Cited By ~ 2

Author(s):

Paul Tarau

Download Full-text

Unlimp uniqueness as a leitmotiv for implementation

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_131 ◽

2006 ◽

pp. 115-129 ◽

Cited By ~ 1

Author(s):

Stefan Kahrs

Download Full-text

Checking and debugging of two-level grammars

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_134 ◽

2006 ◽

pp. 158-171

Author(s):

Sadegh Saidi ◽

Jean-Francois Boulicaut

Download Full-text

I/O trees and interactive lazy functional programming

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55844-6_154 ◽

2006 ◽

pp. 458-472

Author(s):

Samuel A. Rebelsky

Keyword(s):

Functional Programming ◽

Lazy Functional Programming

Download Full-text

Programming Language Implementation and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A technique for transforming logic programs by fold-unfold transformations

Path analysis for lazy data structures

Why the occur-check is not a problem

Using cached functions and constructors for incremental attribute evaluation

A bottom-up interpreter for a higher-order logic programming language

Implementing attribute grammars by computational models

BinProlog: A continuation passing style Prolog engine

Unlimp uniqueness as a leitmotiv for implementation

Checking and debugging of two-level grammars

I/O trees and interactive lazy functional programming

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science
Latest Publications