2000 search results - page 247 / 400 » Program Transformation and Proof Transformation |
127
click to vote
SC
1990
ACM
15 years 8 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
115
click to vote
IJSN
2006
15 years 3 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
126
click to vote
ICMS
2010
15 years 2 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
115
Voted
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
160
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...