datalog can be used to specify a variety of class analyses for object-oriented programs as variations of a common framework. The result of analysing a class is a set of datalog clauses whose least solution is the information analysed for. Modular class analysis of program fragments is then expressed as the resolution of open datalog programs. We provide a theory and a set of operators for the simplification of sets of open clauses
We present a technique that enables the focused applicationof multiple analyses to different modules...
Clauses and subgoals in a Datalog program can be given in any order without affecting program meanin...
We use abstract interpretation to define a uniform formalism for presenting and comparing class anal...
Abstract. We present a combined class-modular points-to and class-escape analysis that allows to ana...
Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis resea...
Abstract. In this paper we address the problem of performing a class static analysis in a modular fa...
AbstractThis work presents a practical Java program analysis framework that is obtained by combining...
The seminaïve algorithm can be used to materialise all consequences of a datalog program, and it als...
The seminaïve algorithm can be used to materialise all consequences of a datalog program, and it als...
A central task for a program analysis concerns how to efficiently find a program abstraction that ke...
Abstract. Static analyses of object-oriented programs usually rely on intermediate representations t...
We need tools and techniques for program analysis that address the unique problemsfaced when analyzi...
Generic components are a further abstraction over the concept of modules, introducing dependencies o...
Static analyses of object-oriented programs usually rely on intermediate representations that respe...
Programming languages and formal notations are central to computer science. A significant part of c...
We present a technique that enables the focused applicationof multiple analyses to different modules...
Clauses and subgoals in a Datalog program can be given in any order without affecting program meanin...
We use abstract interpretation to define a uniform formalism for presenting and comparing class anal...
Abstract. We present a combined class-modular points-to and class-escape analysis that allows to ana...
Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis resea...
Abstract. In this paper we address the problem of performing a class static analysis in a modular fa...
AbstractThis work presents a practical Java program analysis framework that is obtained by combining...
The seminaïve algorithm can be used to materialise all consequences of a datalog program, and it als...
The seminaïve algorithm can be used to materialise all consequences of a datalog program, and it als...
A central task for a program analysis concerns how to efficiently find a program abstraction that ke...
Abstract. Static analyses of object-oriented programs usually rely on intermediate representations t...
We need tools and techniques for program analysis that address the unique problemsfaced when analyzi...
Generic components are a further abstraction over the concept of modules, introducing dependencies o...
Static analyses of object-oriented programs usually rely on intermediate representations that respe...
Programming languages and formal notations are central to computer science. A significant part of c...
We present a technique that enables the focused applicationof multiple analyses to different modules...
Clauses and subgoals in a Datalog program can be given in any order without affecting program meanin...
We use abstract interpretation to define a uniform formalism for presenting and comparing class anal...
DOI
Add to ORKG