Searching for authors named David Sands – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
Higher-Order Expression Procedures
- …Higher-Order Expression Procedures David Sands DIKU, University of Copenhagen dave…
- Cited by 6 (2 self) – Add To MetaCart
-
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages
- …From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages David…
- Cited by 12 (1 self) – Add To MetaCart
-
Composed Reduction Systems
- …Composed Reduction Systems David Sands diku, University of Copenhagen y Abstract This paper…
- Cited by 4 (0 self) – Add To MetaCart
-
Laws of Parallel Synchronised Termination
- …Laws of Parallel Synchronised Termination David Sands dave@(email omitted); DIKU, University…
- Cited by 5 (1 self) – Add To MetaCart
-
Towards Operational Semantics of Contexts in Functional Languages
- …Towards Operational Semantics of Contexts in Functional Languages David Sands diku, University…
- Cited by 2 (0 self) – Add To MetaCart
-
Improvement Theory and its Applications
- …Improvement Theory and its Applications David Sands Chalmers University and the University…
- Cited by 10 (4 self) – Add To MetaCart
-
Total Correctness by Local Improvement in the Transformation of Functional Programs
- …Total Correctness by Local Improvement in the Transformation of Functional Programs DAVID SANDS…
- Cited by 53 (7 self) – Add To MetaCart
-
A Naïve Time Analysis and its Theory of Cost Equivalence
- …A Na ve Time Analysis and its Theory of Cost Equivalence DAVID SANDS, DIKU, Department of Computer…
- Cited by 37 (8 self) – Add To MetaCart
-
Operational Theories of Improvement in Functional Languages (Extended Abstract)
- …Operational Theories of Improvement in Functional Languages (Extended Abstract) David Sands y…
- Cited by 20 (10 self) – Add To MetaCart
-
Proving the Correctness of Recursion-Based Automatic Program Transformations
- …Proving the Correctness of Recursion-Based Automatic Program Transformations 1 David Sands 2…
- Cited by 23 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
