4757 search results - page 677 / 952 » Monads for Functional Programming |
156
click to vote
ISPASS
2006
IEEE
16 years 18 days ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
170
click to vote
IWPC
2006
IEEE
16 years 18 days ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
231
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
176
click to vote
HASKELL
2006
ACM
16 years 17 days ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
128
Voted
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...