1911 search results - page 88 / 383 » Program analysis for code duplication in logic programs |
108
click to vote
ACTAC
2002
15 years 1 months ago
2002
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...
127
click to vote
ENTCS
2002
15 years 1 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
119
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
121
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
110
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...