Publications

9 results for John H. Williams

DataWeb: Customizable database publishing for the web
- - Renée J. Miller
  - Odysseas G. Tsatalos
  - et al.
- 1997
- IEEE Multimedia
Paper
Towards heterogeneous multimedia information systems: The garlic approach
- - M. Carey
  - L. Haas
  - et al.
- 1995
- RIDE-DOM 1995
Conference paper
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)
Paper
Program transformation in the presence of errors
- - Alexander Aiken
  - John H. Williams
  - et al.
- 1990
- POPL 1990
Conference paper
Completeness of Rewrite Rules and Rewrite Strategies for FP
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1990
- Journal of the ACM
Paper
Sacrificing simplicity for convenience: Where do you draw the line?
- - John H. Williams
  - Edward L. Wimmers
- 1988
- POPL 1988
Conference paper
GOOD REWRITE STRATEGIES FOR FP.
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1986
- LICS 1986
Conference paper
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1984
- POPL 1984
Conference paper
On the Development of the Algebra of Functional Programs
- - John H. Williams
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper