1830 search results - page 74 / 366 » Functional Programs as Linked Data |
124
click to vote
TLDI
2003
ACM
15 years 10 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...
189
Voted
VL
2002
IEEE
15 years 10 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...
129
click to vote
AMOST
2005
ACM
15 years 10 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...
142
click to vote
ERSHOV
2009
Springer
15 years 11 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 ...
158
Voted
IJISEC
2010
15 years 3 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...