From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (1997)

View PDF

Download Links

by David Sands
Venue:In Proc. POPL'97, the 24 th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:19 - 1 self

Active Bibliography

Declaration – Weng Kin Ho - 2006
Relational Reasoning about Functions and Nondeterminism – unknown authors - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
10 Improvement Theory and its Applications – David Sands - 1997
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999