4743 search results - page 460 / 949 » Introduction to Functional Programming |
201
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
162
Voted
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
188
Voted
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
164
Voted
ADAEUROPE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
200
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...