ESOP '88 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540190271, 9783540389415

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The PSG system: From formal language definitions to interactive programming environments

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_25 ◽

1988 ◽

pp. 373-375

Author(s):

Rolf Bahlke ◽

Gregor Snelting

Keyword(s):

Formal Language ◽

Programming Environments ◽

Interactive Programming

Download Full-text

A functional language for the specification of complex tree transformations

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_28 ◽

1988 ◽

pp. 380-380 ◽

Cited By ~ 2

Author(s):

Reinhold Heckmann

Keyword(s):

Functional Language ◽

Tree Transformations

Download Full-text

Extending functional programming towards relations

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_14 ◽

1988 ◽

pp. 206-220 ◽

Cited By ~ 1

Author(s):

Remi Legrand

Keyword(s):

Functional Programming

Download Full-text

LPG: A generic, logic and functional programming language

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_26 ◽

1988 ◽

pp. 376-377 ◽

Cited By ~ 1

Author(s):

D. Bert ◽

P. Drabik ◽

R. Echahed ◽

O. Declerfayt ◽

B. Demeuse ◽

...

Keyword(s):

Programming Language ◽

Functional Programming ◽

Functional Programming Language ◽

Logic And Functional Programming

Download Full-text

New insights into partial evaluation: the SCHISM experiment

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_16 ◽

1988 ◽

pp. 236-246 ◽

Cited By ~ 19

Author(s):

Charles CONSEL

Keyword(s):

Partial Evaluation

Download Full-text

QPC: QJ-based proof compiler -simple examples and analysis-

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_4 ◽

1988 ◽

pp. 49-63 ◽

Cited By ~ 1

Author(s):

Yukihide Takayama

Download Full-text

On implementing logic programming languages on a dataflow architecture

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_24 ◽

1988 ◽

pp. 359-372

Author(s):

Patrick Weemeeuw ◽

Maurice Bruynooghe ◽

Marleen Hondt ◽

K. U. Leuven

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Dataflow Architecture ◽

Logic Programming Languages

Download Full-text

Code selection techniques: Pattern matching, tree parsing, and inversion of derivors

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_17 ◽

1988 ◽

pp. 247-268 ◽

Cited By ~ 15

Author(s):

Robert Giegerich ◽

Karl Schmal

Keyword(s):

Pattern Matching ◽

And Inversion

Download Full-text

Perfect pipelining: A new loop parallelization technique

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_15 ◽

1988 ◽

pp. 221-235 ◽

Cited By ~ 22

Author(s):

Alexander Aiken ◽

Alexandru Nicolau

Keyword(s):

Loop Parallelization

Download Full-text

Adding relational query facilities to software development environments

ESOP '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-19027-9_18 ◽

1988 ◽

pp. 269-283

Author(s):

Susan Horwitz

Keyword(s):

Software Development ◽

Software Development Environments

Download Full-text