TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 118 records were found in 0.531 seconds
Automated Verification of Web Sites Using Partial Rewriting
ISoLA (Preliminary proceedings), 81-88, 2004
Using PE to Automate Program Composition
WFLP, 169-183, 2000
Polygenetic Partial Evaluation of Lazy Functional Logic Programs
APPIA-GULP-PRODE, 151-164, 1998
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
1998
Safe Folding/Unfolding with Conditional Narrowing
APPIA-GULP-PRODE, 347-358, 1997
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
1997
Call-By Name Partial Evaluation of Functional Logic Programs
APPIA-GULP-PRODE, 17-28, 1996
Demand Transformation Analysis for Concurrent Constraint Programs
JICSLP, 333-347, 1996
Confluence and Concurrent Constraint Programming
GULP-PRODE (1), 140-154, 1994
A Compositional Semantics for Conditional Term Rewriting Systems
GULP-PRODE (1), 62-76, 1994
A Compositional Semantics for Conditional Term Rewriting Systems
ICCL, 171-182, 1994
Using Narrowing Approximations to Optimize Equational Logic Programs
GULP, 127-142, 1993
Incremental Equational Constraint Analyses
ILPS, 657, 1993
A Prototype System for Equational Constructive Negation
ILPS, 638, 1993
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
ISBN: 3-540-57264-3724, 1993
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs
WSA, 35-42, 1992
Suspension Analysis for Concurrent Logic Programs
ICLP, 331-345, 1991
A New Declarative Semantics for Logic Languages
ICLP/SLP, 993-1005, 1988
Finite Failures and Partial Computations in Concurrent Logic Languages
FGCS, 364-373, 1988