4757 search results - page 168 / 952 » Monads for Functional Programming |
161
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
182
click to vote
IJISEC
2010
15 years 4 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...
184
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
194
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
154
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...