ESOP '90 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540525929, 9783540470458

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic autoprojection of higher order recursive equations

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_56 ◽

1990 ◽

pp. 70-87 ◽

Author(s):

Anders Bondorf

Keyword(s):

Higher Order ◽

Recursive Equations

Download Full-text

Algebraic properties of program integration

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_72 ◽

1990 ◽

pp. 326-340 ◽

Author(s):

Thomas Reps

Keyword(s):

Algebraic Properties ◽

Program Integration

Download Full-text

Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_58 ◽

1990 ◽

pp. 106-117 ◽

Author(s):

Danny Schreye ◽

Dirk Pollet ◽

Johan Ronsyn ◽

Maurice Bruynooghe

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Finite Domain ◽

System With Delay

Download Full-text

Resolution and Type Theory

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_64 ◽

1990 ◽

pp. 197-211 ◽

Author(s):

Leen Helmink

Keyword(s):

Download Full-text

Techniques for improving grammar Flow Analysis

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_67 ◽

1990 ◽

pp. 240-255 ◽

Author(s):

Martin Jourdan ◽

Didier Parigot

Keyword(s):

Download Full-text

From interpreting to compiling binding times

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_57 ◽

1990 ◽

pp. 88-105 ◽

Author(s):

Charles Consel ◽

Olivier Danvy

Download Full-text

Type inference for action semantics

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_59 ◽

1990 ◽

pp. 118-133 ◽

Author(s):

Susan Even ◽

David A. Schmidt

Keyword(s):

Type Inference ◽

Action Semantics

Download Full-text

The specificity rule for lazy pattern-matching in ambiguous term rewrite systems

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_68 ◽

1990 ◽

pp. 256-270 ◽

Author(s):

Richard Kennaway

Keyword(s):

Pattern Matching ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

On the expressive power of programming languages

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_60 ◽

1990 ◽

pp. 134-151 ◽

Author(s):

Matthias Felleisen

Keyword(s):

Programming Languages ◽

Expressive Power

Download Full-text

Implementation of an interpreter for a parallel language in centaur

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_55 ◽

1990 ◽

pp. 57-69

Author(s):

Yves Bertot

Keyword(s):

Parallel Language

Download Full-text