4722 search results - page 560 / 945 » Encoding Program Executions |
134
Voted
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
125
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
253
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
118
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
123
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...