3889 search results - page 191 / 778 » The Use of Program Dependence Graphs in Software Engineering |
166
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
161
click to vote
PEPM
2012
ACM
13 years 11 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
154
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
142
click to vote
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
130
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...