An Exploration of the Bird-Meertens Formalism (1989)

View PDF

Download Links

by Roland Backhouse
Venue:In STOP Summer School on Constructive Algorithmics, Abeland
Citations:32 - 3 self

Active Bibliography

37 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992
A RELATIONAL THEORY OF – Chritiene Aarts, Roland Backhouse, Paul Hoogendijk - 1992
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992