2000 search results - page 144 / 400 » Program Transformation and Proof Transformation |
130
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
130
Voted
JLP
2007
15 years 3 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
155
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
167
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
106
click to vote
IH
2007
Springer
15 years 9 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...