1830 search results - page 125 / 366 » Functional Programs as Linked Data |
133
click to vote
TOOLS
2010
IEEE
15 years 8 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
128
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
122
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 ...
138
click to vote
PLPV
2010
ACM
16 years 7 days ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
111
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...