Explorations of the Methodology

---

Table of Contents

• State-based Programming Language Semantics (2003)
• Partial Updates (2001)
• Heterogeneous System Specifications (2000)
• Modular Language Definitions (2000)
• Partial Evaluation (2000)
  • Full Paper (1995)
  • Extended Abstract
  • Self-Application (2000)
    • Discussion
    • Implementation
• Refinement Calculus (2000)
• Partially Ordered Runs (1999)
• Reusable Correct Compilations (1998)
• Structured Composition (1997)
  • Final Version
  • Early Version
• Many-Sorted Semantics (1997)
  • Full Paper
  • Extended Abstract
• Transformations (1997)