2000 search results - page 126 / 400 » Program Transformation and Proof Transformation |
134
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
120
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
141
Voted
FPCA
1995
15 years 7 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
144
click to vote
PDSE
1998
15 years 4 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
113
Voted
WLP
1997
Springer
15 years 7 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...