Lecture Notes in Computer Science - Principles and Practice of Declarative Programming
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540665403, 9783540481645
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Declarative Program Transformation: A Deforestation Case-Study

1999 ◽  
pp. 360-377 ◽  
Author(s):  
Loïc Correnson ◽  
Etienne Duris ◽  
Didier Parigot ◽  
Gilles Roussel
Keyword(s):  
Program Transformation

Argument Filtering Transformation

1999 ◽  
pp. 47-61 ◽  
Author(s):  
Keiichirou Kusakari ◽  
Masaki Nakamura ◽  
Yoshihito Toyama

Widening Sharing

1999 ◽  
pp. 414-431 ◽  
Author(s):  
Enea Zaffanella ◽  
Roberto Bagnara ◽  
Patricia M. Hill

scholarly journals A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs

1999 ◽  
pp. 396-413 ◽  
Author(s):  
Abhik Roychoudhury ◽  
K. Narayan Kumar ◽  
C. R. Ramakrishnan ◽  
I. V. Ramakrishnan
Keyword(s):  
Logic Programs

Run Time Type Information in Mercury

1999 ◽  
pp. 224-243 ◽  
Author(s):  
Tyson Dowd ◽  
Zoltan Somogyi ◽  
Fergus Henderson ◽  
Thomas Conway ◽  
David Jeffery
Keyword(s):  
Run Time ◽  
Type Information ◽  
Time Type
Load More ...
Sign in / Sign up

Export Citation Format

Share Document