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

9783540584025, 9783540486954

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementations of program composition operations

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

10.1007/3-540-58402-1_21 ◽

1994 ◽

pp. 292-307 ◽

Cited By ~ 2

Author(s):

A. Brogi ◽

A. Chiarelli ◽

P. Mancarella ◽

V. Mazzotta ◽

D. Pedreschi ◽

...

Keyword(s):

Program Composition ◽

Composition Operations

Download Full-text

Partial deduction and driving are equivalent

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

10.1007/3-540-58402-1_13 ◽

1994 ◽

pp. 165-181 ◽

Cited By ~ 18

Author(s):

Robert Glück ◽

Morten Heine Sørensen

Keyword(s):

Partial Deduction

Download Full-text

Combining lazy narrowing with disequality constraints

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

10.1007/3-540-58402-1_27 ◽

1994 ◽

pp. 385-399 ◽

Cited By ~ 10

Author(s):

Puri Arenas-Sánchez ◽

Ana Gil-Luezas ◽

Francisco J. López-Fraguas

Download Full-text

A logic for encapsulation in object oriented languages

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

10.1007/3-540-58402-1_16 ◽

1994 ◽

pp. 215-229 ◽

Cited By ~ 2

Author(s):

Michele Bugliesi ◽

Hasan M. Jamil

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

A graph reduction technique with sharing across narrowings for functional-logic languages

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

10.1007/3-540-58402-1_25 ◽

1994 ◽

pp. 355-369

Author(s):

John Maraist ◽

Frank S. K. Silbermann

Keyword(s):

Reduction Technique ◽

Graph Reduction ◽

Functional Logic

Download Full-text

RML — A new language and implementation for Natural Semantics

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

10.1007/3-540-58402-1_10 ◽

1994 ◽

pp. 117-131 ◽

Cited By ~ 4

Author(s):

Mikael Pettersson

Download Full-text

Abstracting numerical values in CLP(H,N)

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

10.1007/3-540-58402-1_28 ◽

1994 ◽

pp. 400-414 ◽

Cited By ~ 3

Author(s):

Gerda Janssens ◽

Maurice Bruynooghe ◽

Vincent Englebert

Download Full-text

Combining lazy narrowing and simplification

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

10.1007/3-540-58402-1_26 ◽

1994 ◽

pp. 370-384 ◽

Cited By ~ 3

Author(s):

Michael Hanus

Download Full-text

Unfold/fold transformations for definite clause programs

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

10.1007/3-540-58402-1_24 ◽

1994 ◽

pp. 340-354 ◽

Cited By ~ 16

Author(s):

Manolis Gergatsoulis ◽

Maria Katzouraki

Keyword(s):

Definite Clause

Download Full-text

A portable and efficient implementation of KL1

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

10.1007/3-540-58402-1_4 ◽

1994 ◽

pp. 25-39 ◽

Cited By ~ 14

Author(s):

Takashi Chikayama ◽

Tetsuro Fujise ◽

Daigo Sekita

Keyword(s):

Efficient Implementation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Implementations of program composition operations

Partial deduction and driving are equivalent

Combining lazy narrowing with disequality constraints

A logic for encapsulation in object oriented languages

A graph reduction technique with sharing across narrowings for functional-logic languages

RML — A new language and implementation for Natural Semantics

Abstracting numerical values in CLP(H,N)

Combining lazy narrowing and simplification

Unfold/fold transformations for definite clause programs

A portable and efficient implementation of KL1

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