Completeness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
9 results for John H. Williams
Program transformation in the presence of errors
- Alexander Aiken
- John H. Williams
- et al.
- 1990
- POPL 1990
Towards heterogeneous multimedia information systems: The garlic approach
- M. Carey
- L. Haas
- et al.
- 1995
- RIDE-DOM 1995
Sacrificing simplicity for convenience: Where do you draw the line?
- John H. Williams
- Edward L. Wimmers
- 1988
- POPL 1988
GOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
- Alexander Aiken
- John H. Williams
- et al.
- 1995
- ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Development of the Algebra of Functional Programs
- John H. Williams
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
DataWeb: Customizable database publishing for the web
- Renée J. Miller
- Odysseas G. Tsatalos
- et al.
- 1997
- IEEE Multimedia