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

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

Documents Related by Co-Citation

76 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
52 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
448 The Omega Test: a fast and practical integer programming algorithm for dependence analysis – William Pugh - 1992
46 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
51 ACE: an automatic complexity evaluator – D Le Métayer
77 Automatic complexity analysis – M Rosendahl - 1989
47 Complexity Analysis for a Lazy Higher-Order Language – David Sands - 1990
14 Types for Crash Prevention – Lars Pareto - 2000
130 Static Prediction of Heap Space Usage for First-order Functional Programs – Martin Hofmann, Steffen Jost - 2003
94 Inductive Types and Type Constraints in the Second-Order Lambda Calculus – N P Mendler - 1991
17 Cost Recurrences for DML Programs – Bernd Grobauer - 2001
175 The Size-Change Principle for Program Termination – Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram - 2001
1459 Theory of linear and integer programming – Alexander Schrijver - 1986
85 A Type System for Bounded Space and Functional in-Place Update – Martin Hofmann - 2000
1093 Proof-Carrying Code – George C. Necula - 1997
18 Verifying safety policies with size properties and alias controls – Wei-ngan Chin, Siau-cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen - 2005