1911 search results - page 251 / 383 » Program analysis for code duplication in logic programs |
155
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
165
click to vote
CADE
1990
Springer
15 years 9 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
237
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
144
click to vote
SERP
2003
15 years 6 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
117
Voted
ENTCS
2008
15 years 5 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...