Chasing bottoms: A case study in program verification in the presence of partial and infinite values (2004)

Cached

Download Links

by Nils Anders Danielsson , Patrik Jansson
Venue:In MPC 2004, volume 3125 of LNCS
Citations:9 - 2 self

Active Bibliography

Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
12 Purely Functional Lazy Non-deterministic Programming – Sebastian Fischer, Chung-chieh Shan
Chasing Bottoms A Case Study in Program Verification in the Presence of Partial and Infinite Values – unknown authors
24 Fast and Loose Reasoning is Morally Correct – Nils Anders Danielsson, Nils Anders, Danielsson John Hughes, Patrik Jansson - 2006
Implementing Functional Generic Programming – Ulf Norell - 2004
Under consideration for publication in J. Functional Programming 1 Comparing Datatype-Generic Libraries – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira, In Haskell, Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira - 924
31 The next 700 data description languages – Kathleen Fisher, Yitzhak Mandelbaum, David Walker - 2006
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
48 Datatype-generic programming – Jeremy Gibbons
1 Automatically Generating Counterexamples to Naive Free Theorems – Daniel Seidel, Janis Voigtländer - 2009
Meshing with Grids: Toward functional abstractions for grid-based visualization – Rita Borgo, David Duke, Malcolm Wallace, Colin Runciman
A Lightweight Approach to Datatype-Generic Rewriting – Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
8 Generic Generation of Elements of Types – Pieter Koopman, Rinus Plasmeijer - 2005
Implementation of a Pragmatic Translation from Haskell into Isabelle/HOL – Patrick Bahr - 2008
1 Enumerating Well-Typed Terms Generically – Alexey Rodriguez Yakushev, Johan Jeuring - 2009
unknown title – Thomas Van Noort, Alexey Rodriguez Yakushev, Johan Jeuring
3 Deriving a Relationship from a Single Example – Neil Mitchell
17 Scrap your Nameplate - Functional Pearl – James Cheney