Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540603597, 9783540450481

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design and implementation of jump tables for fast indexing of logic programs

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026818 ◽

1995 ◽

pp. 133-150

Author(s):

Steven Dawson ◽

C. R. Ramakrishnan ◽

I. V. Ramakrishnan

Keyword(s):

Logic Programs ◽

Design And Implementation

Download Full-text

A dataflow semantics for constraint logic programs

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026834 ◽

1995 ◽

pp. 431-448 ◽

Author(s):

Livio Colussi ◽

Elena Marchiori ◽

Massimo Marchiori

Keyword(s):

Logic Programs ◽

Constraint Logic Programs

Download Full-text

A new calculus for semantic matching

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026815 ◽

1995 ◽

pp. 81-96

Author(s):

Bernd Bütow ◽

Robert Giegerich ◽

Enno Ohlebusch ◽

Stephan Thesing

Keyword(s):

Semantic Matching

Download Full-text

Efficient compile-time garbage collection for arbitrary data structures

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026824 ◽

1995 ◽

pp. 241-258 ◽

Author(s):

Markus Mohneu

Keyword(s):

Data Structures ◽

Garbage Collection

Download Full-text

A generic program for sequential decision processes

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026809 ◽

1995 ◽

pp. 1-23 ◽

Author(s):

Oege de Moor

Keyword(s):

Decision Processes ◽

Sequential Decision

Download Full-text

Exploiting parallelism in tabled evaluations

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026817 ◽

1995 ◽

pp. 115-132 ◽

Author(s):

Juliana Freire ◽

Rui Hu ◽

Terrance Swift ◽

David S. Warren

Download Full-text

Mechanically verifying the correctness of an offline partial evaluator

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026826 ◽

1995 ◽

pp. 279-298 ◽

Author(s):

John Hatcliff

Download Full-text

Parsing visual languages with constraint multiset grammars

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026810 ◽

1995 ◽

pp. 24-25 ◽

Author(s):

Kim Marriott

Keyword(s):

Visual Languages

Download Full-text

Uniform PERs and comportment analysis

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026820 ◽

1995 ◽

pp. 169-187 ◽

Author(s):

Alan Mycroft ◽

Kirsten Lackner Solberg

Download Full-text

Uniqueness type inference

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026821 ◽

1995 ◽

pp. 189-206 ◽

Author(s):

Erik Barendsen ◽

Sjaak Smetsers

Keyword(s):

Download Full-text