Abstract partial deduction challenged

Authors:
Stefan Gruner
Affiliations:
Department of Electronics and Computer Science, University of Southampton, GB
Venue:
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Year:
2002

A type system for logic program

Journal of Logic Programming
A new solution of Dijkstra's concurrent programming problem

Communications of the ACM
Verification of Sets of Infinite State Processes Using Program Transformation

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

Hi-index	0.00