| Autor: |
Dan McNeill, Olaf Chitil, Colin Runciman |
| Přispěvatelé: |
Trinder, Phil, Michaelson, Greg, Pena, Ricardo |
| Rok vydání: |
2004 |
| Předmět: |
|
| Zdroj: |
Implementation of Functional Languages ISBN: 9783540237273 |
| ISSN: |
0302-9743 |
| DOI: |
10.1007/978-3-540-27861-0_1 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
