Lazy assertions

Authors:
Olaf Chitil;Dan McNeill;Colin Runciman
Affiliations:
Department of Computer Science, The University of York, UK;Department of Computer Science, The University of York, UK;Department of Computer Science, The University of York, UK
Venue:
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Year:
2003

Citing 3
Cited 12

QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Applicative Assertions

Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University

Lazy Contract Checking for Immutable Data Structures

Implementation and Application of Functional Languages
A pattern logic for prompt lazy assertions in Haskell

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Monadic, prompt lazy assertions in Haskell

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Correct blame for contracts: no more scapegoating

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A semantics for lazy assertions

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Lazy and enforceable assertions for functional logic programs

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
On contract satisfaction in a higher-order world

ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed contracts for functional programming

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
The interaction of contracts and laziness

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
The feasibility of interactively probing quiescent properties of GUI applications

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Contracts and specifications for functional logic programming

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Practical typed lazy contracts

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Assertions test expected properties of run-time values without disrupting the normal working of a program. So in a lazy functional language assertions should be lazy – not forcing evaluation, but only examining what is evaluated by other parts of the program. We explore the subtle semantics of lazy assertions and describe sequential and concurrent variants of a method for checking lazy assertions. All variants are implemented in Haskell.