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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer-Verlag

354053010x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compilation of narrowing

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

10.1007/bfb0024173 ◽

2005 ◽

pp. 16-29 ◽

Author(s):

Andy Mück

Download Full-text

Elementary logic programs

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

10.1007/bfb0024183 ◽

2005 ◽

pp. 159-173 ◽

Author(s):

Paul Tarau ◽

Michel Boyer

Keyword(s):

Download Full-text

An approach to verifiable compiling specification and prototyping

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

10.1007/bfb0024175 ◽

2005 ◽

pp. 45-59 ◽

Author(s):

Jonathan Bowen ◽

He Jifeng ◽

Paritosh Pandya

Download Full-text

Implementing parallel rewriting

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

10.1007/bfb0024172 ◽

2005 ◽

pp. 1-15 ◽

Author(s):

Claude Kirchner ◽

Patrick Viry

Download Full-text

Modifying the simplex algorithm to a constraint solver

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

10.1007/bfb0024178 ◽

2005 ◽

pp. 89-105

Author(s):

Juhani Jaakola

Keyword(s):

Simplex Algorithm ◽

Constraint Solver

Download Full-text

Compilation of non-linear, second order patterns on S-expressions

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

10.1007/bfb0024194 ◽

2005 ◽

pp. 340-357 ◽

Author(s):

Christian Queinnec

Keyword(s):

Second Order ◽

Download Full-text

The vienna abstract machine

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

10.1007/bfb0024180 ◽

2005 ◽

pp. 121-135 ◽

Author(s):

Andreas Krall ◽

Ulrich Neumerkel

Keyword(s):

Abstract Machine

Download Full-text

Towards a characterization of termination of logic programs

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

10.1007/bfb0024186 ◽

2005 ◽

pp. 204-221 ◽

Author(s):

B. Wang ◽

R. K. Shyamasundar

Keyword(s):

Download Full-text

Implementing a meta-logical scheme

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

10.1007/bfb0024179 ◽

2005 ◽

pp. 106-120

Author(s):

Pierre Lim ◽

David Morley

Keyword(s):

Download Full-text

Integrating strict and lazy evaluation: the λsl-calculus

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

10.1007/bfb0024188 ◽

2005 ◽

pp. 238-254 ◽

Author(s):

Andrea Asperti

Keyword(s):

Lazy Evaluation

Download Full-text