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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540571865, 9783540479451

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stack management of runtime structures in distributed implementations

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

10.1007/3-540-57186-8_97 ◽

1993 ◽

pp. 416-417 ◽

Cited By ~ 1

Author(s):

Guido Hogen ◽

Rita Loogen

Download Full-text

Development of rewriting strategies

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

10.1007/3-540-57186-8_92 ◽

1993 ◽

pp. 378-390 ◽

Cited By ~ 2

Author(s):

A. A. Letichevsky

Download Full-text

Objects with state in contextual logic programming

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

10.1007/3-540-57186-8_81 ◽

1993 ◽

pp. 220-234 ◽

Cited By ~ 3

Author(s):

Antonio Natali ◽

Andrea Omicini

Keyword(s):

Logic Programming

Download Full-text

Specification and implementation of grammar couplings using attribute grammars

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

10.1007/3-540-57186-8_75 ◽

1993 ◽

pp. 123-136 ◽

Cited By ~ 1

Author(s):

Martin Jourdan ◽

Carole Bellec ◽

Didier Parigot ◽

Gilles Roussel

Keyword(s):

Attribute Grammars ◽

Specification And Implementation

Download Full-text

Improvements in compile-time analysis for Ground Prolog

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

10.1007/3-540-57186-8_73 ◽

1993 ◽

pp. 92-107 ◽

Cited By ~ 1

Author(s):

Andreas Kågedal

Keyword(s):

Time Analysis

Download Full-text

Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains (extended abstract)

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

10.1007/3-540-57186-8_72 ◽

1993 ◽

pp. 75-91 ◽

Cited By ~ 12

Author(s):

Marc-Michel Corsini ◽

Kaninda Musumbu ◽

Antoine Rauzy ◽

Baudouin Charlier

Keyword(s):

Abstract Interpretation ◽

Constraint Solving ◽

Bottom Up ◽

Finite Domains

Download Full-text

Efficient register allocation for large basic blocks

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

10.1007/3-540-57186-8_98 ◽

1993 ◽

pp. 418-419

Author(s):

C. W. Keßler ◽

T. Rauber

Keyword(s):

Basic Blocks

Download Full-text

Pagode: A back end generator

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

10.1007/3-540-57186-8_94 ◽

1993 ◽

pp. 410-411

Author(s):

P. Canalda ◽

L. Cognard ◽

A. Despland ◽

M. Mazaud

Download Full-text

Abstract complexity of prolog based on WAM

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

10.1007/3-540-57186-8_91 ◽

1993 ◽

pp. 365-377 ◽

Cited By ~ 1

Author(s):

Alexander Ja. Dikovsky

Download Full-text

Higher-order chaotic iteration sequences

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

10.1007/3-540-57186-8_89 ◽

1993 ◽

pp. 332-345 ◽

Cited By ~ 8

Author(s):

Mads Rosendahl

Keyword(s):

Higher Order ◽

Chaotic Iteration

Download Full-text

Lecture Notes in Computer Science - Progamming Language Implementation and Logic ProgrammingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Stack management of runtime structures in distributed implementations

Development of rewriting strategies

Objects with state in contextual logic programming

Specification and implementation of grammar couplings using attribute grammars

Improvements in compile-time analysis for Ground Prolog

Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains (extended abstract)

Efficient register allocation for large basic blocks

Pagode: A back end generator

Abstract complexity of prolog based on WAM

Higher-order chaotic iteration sequences

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