2000 search results - page 142 / 400 » Program Transformation and Proof Transformation |
130
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
110
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
232
Voted
MICRO
2012
IEEE
13 years 6 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
109
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
147
Voted
WCRE
1995
IEEE
15 years 7 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...