Proving congruence of bisimulation in functional programming languages (1996)

Cached

Download Links

by Douglas J. Howe
Venue:Information and Computation
Citations:106 - 1 self

Active Bibliography

17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
5 A Classical Set-Theoretic Model of Polymorphic Extensional Type Theory – Douglas J. Howe - 1997
29 Semantic Foundations for Embedding HOL in Nuprl – Douglas J. Howe - 1996
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
Adding Input-Output to PCF – Jerzy Tiuryn, Mitchell Wand - 1995
6 Untyped Lambda-Calculus with Input-Output (Progress Report) – Jerzy Tiuryn, Mitchell Wand - 1995
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
5 Action Semantics Reasoning About Functional Programs – S.B. Lassen - 1996
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
2 Bisimilarity for the region calculus – Simon Helsen
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
1 SOS for Higher Order Processes (Extended Abstract) – Mohammadreza Mousavi, Murdoch J. Gabbay, Michel A. Reniers