Termination Checking with Types (1999)

by Andreas Abel
Citations:28 - 6 self

Active Bibliography

40 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
11 Programming With Types – Stephanie Claudene Weirich - 2002
6 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002
8 A predicative strong normalisation proof for a λ-calculus with interleaving inductive types – Andreas Abel, Thorsten Altenkirch - 1999
18 Verifying safety policies with size properties and alias controls – Wei-ngan Chin, Siau-cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen - 2005
6 A tutorial implementation of a dependently typed lambda calculus – Andres Löh, Conor McBride, Wouter Swierstra - 2001
Refinement Types as Higher Order Dependency Pairs – Cody Roux
Components – Marc Bezem, Dag Hovland, Hoang Truong, Marc Bezem, Dag Hovland, Hoang Truong - 2007
92 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
11 Automatic Accurate Live Memory Analysis for Garbage-Collected Languages – Leena Unnikrishnan, Scott Stoller, Yanhong Liu - 2001
3 A Type System for Resource Protocol Verification and its Correctness Proof – Corneliu Popeea, Wei-ngan Chin - 2004
Chapter 1 – Gudmund Grov, Greg Michaelson, Hans-wolfgang Loidl, Steffen Jost, Kevin Hammond
2 Improvements to a Resource Analysis for Hume – Hans-wolfgang Loidl, Steffen Jost - 2009
4 Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics -- Extended Version – Jan Hoffmann, Martin Hofmann
15 Optimized Live Heap Bound Analysis – Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu - 2001
11 Amortized Resource Analysis with Polynomial Potential A Static Inference of Polynomial Bounds for Functional Programs (Extended Version) – Jan Hoffmann, Martin Hofmann, Ludwig-maximilians-universität München
10 Static Determination of Quantitative Resource Usage for Higher-Order Programs – Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann - 2010
23 Automatic time-bound analysis for a higher-order language – Gustavo Gomez, Yanhong A. Liu - 2002
13 Automatic accurate stack space and heap space analysis for high-level languages – Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu - 2000