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

Documents Related by Co-Citation

137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
326 Theorems for free! – Philip Wadler - 1989
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
41 Gast: Generic Automated Software Testing – Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer - 2002
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
215 Introduction to Functional Programming using Haskell – R Bird - 1998
22 Theorem proving for functional programmers - Sparkle: A functional theorem prover – Maarten De Mol, Marko Van Eekelen, Rinus Plasmeijer - 2001
105 M.: Term graph rewriting – H Barendregt, M van Eekelen, J Glauert, J Kennaway, M Plasmeijer, Sleep
23 An Operational Semantics for Parallel Lazy Evaluation – C Baker-Finch, D J King, J G Hall, P W Trinder - 2000
13 The Generic Approximation Lemma – Graham Hutton, Jeremy Gibbons - 2001
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
283 Why functional programming matters – John Hughes - 1989
1312 Monads for functional programming – Philip Wadler - 1995
130 Eekelen. Functional Programming and Parallel Graph Rewriting – R Plasmeijer, M van - 1993
702 Types and programming languages – Benjamin C Pierce - 2002
17 Design Patterns for Functional Strategic Programming – Ralf Lämmel, De Boelelaan A, Joost Visser - 2002
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003