Searching for authors named "John Hatcliff" – sorted by Relevance.
68 documents found, showing 1 through 10.
Next 10 →
-
Foundations for Partial Evaluation of Functional Languages with Computational Effects
- …Foundations for Partial Evaluation of Functional Languages with Computational Effects John…
- Add To MetaCart
-
Foundations for Partial Evaluation of Functional Programs with Computational Effects
- …Foundations for Partial Evaluation of Functional Programs with Computational Effects John Hatcliff…
- Cited by 1 (0 self) – Add To MetaCart
-
Mechanically Verifying the Correctness of an Offline Partial Evaluator
- …Mechanically verifying the correctness of an offline partial evaluator John Hatcliff y DIKU…
- Cited by 12 (4 self) – Add To MetaCart
-
A Computational Formalization for Partial Evaluation
- … (Extended Version) John Hatcliff Olivier Danvy BRICS Report Series RS-96-34 ISSN 0909-0878 October 1996…
- Cited by 31 (9 self) – Add To MetaCart
-
Thunks (continued)
- …Thunks (continued) Olivier Danvy, John Hatcliff Department of Computing and Information Sciences…
- Cited by 9 (3 self) – Add To MetaCart
-
A Computational Formalization for Partial Evaluation (Extended Version)
- …A Computational Formalization for Partial Evaluation (extended version) John Hatcliff Olivier…
- Cited by 3 (1 self) – Add To MetaCart
-
On the Transformation between Direct and Continuation Semantics
- …On the Transformation between Direct and Continuation Semantics ? Olivier Danvy and John Hatcliff…
- Cited by 10 (8 self) – Add To MetaCart
-
Thunks and the lambda-Calculus
- … Science Thunks and the l-Calculus (Extended Version) John Hatcliff Olivier Danvy BRICS Report Series RS…
- Cited by 3 (0 self) – Add To MetaCart
-
Reasoning about Hierarchies of Online Program Specialization Systems
- …Reasoning about Hierarchies of Online Program Specialization Systems ? John Hatcliff Robert Gluck…
- Cited by 1 (1 self) – Add To MetaCart
-
Kiasan/KUnit: Automatic test case generation and analysis feedback for open object-oriented systems
- …-oriented Systems ∗ ABSTRACT Xianghua Deng, Robby, John Hatcliff Department of Computing and Information Sciences…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
