5863 search results - page 140 / 1173 » Calculating Functional Programs |
103
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
111
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
108
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
116
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
149
click to vote
TSE
2008
15 years 2 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...