Efficient Algebraic Operations on Programs (1991)

Cached

Download Links

by Neil D. Jones
Venue:University of Iowa
Citations:5 - 0 self

Active Bibliography

481 Domain Theory – Samson Abramsky, Achim Jung - 1994
244 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
214 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
28 A Provably Correct Compiler Generator – Jens Palsberg - 1992
154 The ASTOOT approach to testing object-oriented programs – Phyllis G. Frankl - 1994
145 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
142 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
138 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
ference on Computer Languages [62]. – Jens Palsberg, Ole Lehrmann Madsen, Mogens Nielsen - 1992