2000 search results - page 25 / 400 » Program Transformation and Proof Transformation |
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
LCTRTS
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
FUIN
2006
14 years 10 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...