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 Berlin Heidelberg

9783540544449, 9783540383628

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract interpretation for type checking

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

10.1007/3-540-54444-5_108 ◽

1991 ◽

pp. 311-322 ◽

Cited By ~ 3

Author(s):

G. Filè ◽

P. Sottero

Keyword(s):

Abstract Interpretation ◽

Type Checking

Download Full-text

Abstract interpretation: A kind of magic

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

10.1007/3-540-54444-5_107 ◽

1991 ◽

pp. 299-309 ◽

Cited By ~ 1

Author(s):

Ulf Nilsson

Keyword(s):

Abstract Interpretation

Download Full-text

Narrowing as an incremental constraint satisfaction algorithm

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

10.1007/3-540-54444-5_92 ◽

1991 ◽

pp. 111-122

Author(s):

María Alpuente ◽

Moreno Falaschi

Keyword(s):

Constraint Satisfaction

Download Full-text

Logic-based specification of visibility rules

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

10.1007/3-540-54444-5_88 ◽

1991 ◽

pp. 63-74 ◽

Cited By ~ 3

Author(s):

Arnd Poetzsch-Heffter

Download Full-text

Multilanguage interoperability

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

10.1007/3-540-54444-5_122 ◽

1991 ◽

pp. 429-430 ◽

Cited By ~ 1

Author(s):

Giuseppe Attardi ◽

Mauro Gaspari

Download Full-text

The system FLR ( Fast laboratory for recomposition )

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

10.1007/3-540-54444-5_121 ◽

1991 ◽

pp. 427-428

Author(s):

Beate Baum ◽

Peter Forbrig

Download Full-text

Extending execution trees for debugging and animation in logic programming

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

10.1007/3-540-54444-5_117 ◽

1991 ◽

pp. 419-420

Author(s):

Diego Loyola

Keyword(s):

Logic Programming

Download Full-text

Operational semantics of constraint logic programming over finite domains

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

10.1007/3-540-54444-5_115 ◽

1991 ◽

pp. 395-406 ◽

Cited By ~ 4

Author(s):

Pascal Hentenryck ◽

Yves Deville

Keyword(s):

Logic Programming ◽

Operational Semantics ◽

Constraint Logic Programming ◽

Finite Domains

Download Full-text

Lazy evaluation in logic

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

10.1007/3-540-54444-5_113 ◽

1991 ◽

pp. 371-382 ◽

Cited By ~ 4

Author(s):

Sergio Antoy

Keyword(s):

Lazy Evaluation

Download Full-text

On the borderline between grammars and programs

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

10.1007/3-540-54444-5_101 ◽

1991 ◽

pp. 219-230

Author(s):

C. H. A. Koster ◽

J. G. Beney

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abstract interpretation for type checking

Abstract interpretation: A kind of magic

Narrowing as an incremental constraint satisfaction algorithm

Logic-based specification of visibility rules

Multilanguage interoperability

The system FLR ( Fast laboratory for recomposition )

Extending execution trees for debugging and animation in logic programming

Operational semantics of constraint logic programming over finite domains

Lazy evaluation in logic

On the borderline between grammars and programs

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