1911 search results - page 269 / 383 » Program analysis for code duplication in logic programs |
130
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
105
Voted
ECBS
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
146
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
111
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
99
Voted
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper discusses three techniques useful in relaxing the constraints imposed by control flow on parallelism: control dependence analysis, executing multiple flows of control s...