Proving the correctness of reactive systems using sized types (1996)

by John Hughes , Lars Pareto , Amr Sabry
Citations:121 - 2 self

Active Bibliography

7 What do Types Mean? - From Intrinsic to Extrinsic Semantics – John C. Reynolds - 2001
10 The Meaning of Types - From Intrinsic to Extrinsic Semantics – John C Reynolds, John C. Reynolds, John C. Reynolds - 2000
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
10 Practical Soft Typing – Andrew K. Wright - 1994
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
23 Semantic Types: A Fresh Look at the Ideal Model for Types – Jérôme Vouillon, Paul-André Melliès - 2004
1 Class-Based and Algebraic Models of Objects – Gary T. Leavens, Don Pigozzi - 1998
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
198 Reflections on Standard ML – David B. MacQueen - 1992
4 Specification and Analysis of Real-Time Systems with PARAGON – Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah - 1999
3 Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools – Uwe Glasser - 1995
7 Hybrid System Model – Thomas Stauner, Bernhard Rumpe, Peter Scholz - 1999
1 Debugging Reactive Systems in Haskell – Amr Sabry, Jan Sparud - 1997
14 A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations – David Sabel, Manfred Schmidt-schauß - 2008
17 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
2 A Calculus of Refinements: its class of models – Jaume Agusti, Francesc Esteva, Pere Garcia, Jordi Levy - 1992
6 Labelled Reductions, Runtime Errors, and Operational Subsumption – Laurent Dami - 1997
8 Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung - 1990