4880 search results - page 74 / 976 » Manuals as Structured Programs |
118
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
119
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
109
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
120
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
119
click to vote
PPL
2008
15 years 3 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...