An Equational Theory for a Region Calculus (2002)

by Simon Helsen
Citations:1 - 1 self

Active Bibliography

2 Bisimilarity for the region calculus – Simon Helsen
An Equational Theory for a Region Calculus - Revised – Simon Helsen - 2002
An Operational Theory for a Region Calculus – Simon Helsen - 2001
731 Notions of Computation and Monads – Eugenio Moggi - 1991
938 A theory of type polymorphism in programming – Robin Milner - 1978
1311 Monads for functional programming – Philip Wadler - 1995
521 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992