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

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

Documents Related by Co-Citation

77 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
52 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
450 The Omega Test: a fast and practical integer programming algorithm for dependence analysis – William Pugh - 1992
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
46 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
77 Automatic complexity analysis – M Rosendahl - 1989
130 Static Prediction of Heap Space Usage for First-order Functional Programs – Martin Hofmann, Steffen Jost - 2003
17 Cost Recurrences for DML Programs – Bernd Grobauer - 2001
51 ACE: an automatic complexity evaluator – D Le Métayer
47 Complexity Analysis for a Lazy Higher-Order Language – David Sands - 1990
84 A Type System for Bounded Space and Functional in-Place Update – Martin Hofmann - 2000
14 Types for Crash Prevention – Lars Pareto - 2000
85 Mechanical program analysis – B Wegbreit - 1975
94 Recursive types and type constraints in second-order lambda calculus – P F Mendler - 1987
57 Automatic Average-Case Analysis Of Algorithms – Philippe Flajolet, E De Recherche, Et En Automatique, Domaine De Voluceau, Bruno Salvy, Bruno Salvy, Paul Zimmermann, Paul Zimmermann - 1991
176 The Size-Change Principle for Program Termination – Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram - 2001
1472 Theory of Linear and Integer Programming – A Schrijver - 1986