674 search results - page 20 / 135 » Explanation Based Program Transformation |
98
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
123
Voted
LFP
1992
15 years 3 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
146
Voted
VL
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
118
Voted
DAC
1995
ACM
15 years 6 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
118
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...