1830 search results - page 74 / 366 » Functional Programs as Linked Data |
107
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
168
click to vote
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
Java program debugging was investigated in computer science students who used a software debugging environment (SDE) that provided concurrently displayed, adjacent, multiple and l...
116
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
120
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
142
click to vote
IJISEC
2010
15 years 1 months ago
2010
Physical Unclonable Functions (PUFs) are physical objects that are unique, practically unclonable and that behave like a random function when subjected to a challenge. Their use h...