10585 search results - page 614 / 2117 » The Orc Programming Language |
265
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
219
click to vote
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...
202
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
215
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
223
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...