An overview of the programatica toolset (2004)

Cached

Download Links

by Thomas Hallgren , James Hook , Mark P. Jones , Richard B. Kieburtz
Venue:High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04
Citations:7 - 0 self

Documents Related by Co-Citation

12 A Logic for Miranda, Revisited – Simon Thompson - 1994
6 Verifying Haskell programs using constructive type theory – Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell - 2005
6 R.: Reasoning about CBV functional programs in Isabelle/HOL – J Longley, Pollack - 2004
10 P-logic: property verification for Haskell programs – Richard B. Kieburtz - 2002
26 A Compositional Logic for Polymorphic Higher-Order Functions – Kohei Honda, Nobuko Yoshida - 2004
285 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
444 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
99 Avoiding Exponential Explosion: Generating Compact Verification Conditions – Cormac Flanagan, James B. Saxe - 2001
308 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
16 Axiomatic constructor classes in Isabelle/HOLCF – Brian Huffman, John Matthews, Peter White - 2005
10 The logic of demand in Haskell – W L Harrison, R B Kieburtz
4 Ulf Norell. Verifying haskell programs using constructive type theory – Andreas Abel, Marcin Benke, Ana Bove, John Hughes - 2005
163 Raymie Stata. Extended static checking for java – Cormac Flanagan, K Rustan M Leino, Mark Lillibridge, Greg Nelson, James B Saxe - 2002
5 Codage de la logique du premier ordre polymorphe multi-sortée dans la logique sans sortes – S Lescuyer - 2006
3 A sound and relatively ∗ complete axiomatization of Clarke’s language L4 – W Damm, B Josko - 1983
3 A Hoare calculus for functions defined by recursion on higher types – A Goerdt - 1985
2 Why dependent types matter. Unpublished – T Altenkirch, C McBride, J McKinna - 2005
2 H.: Mechanizing domain theory. Ulmer Informatik-Berichte 96-10, Universität Ulm, Fakultät für Informatik – F Bartels, F von Henke, H Pfeifer, Rueß - 1996
12 How to Prove Higher Order Theorems in First Order Logic – Manfred Kerber - 1991