Converting One Type-Based Abstract Domain to Another

John Patrick Gallagher, German Puebla, Elvira Albert

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Resumé

The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported predicates are available in terms of some ``standard" assertions. The first task is to define an abstract domain corresponding to the assertions for a given module and express the descriptions as objects in that domain. Following that they are automatically transformed into the analysis domain of interest. We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain to another, with as little loss in precision as possible.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Sider (fra-til)147-162
Antal sider16
ISSN0302-9743
StatusUdgivet - 2006
BegivenhedInternational Workshop on Logic Program Synthesis and Transformation (LOPSTR) - London, Storbritannien
Varighed: 7 sep. 20059 sep. 2005

Konference

KonferenceInternational Workshop on Logic Program Synthesis and Transformation (LOPSTR)
LandStorbritannien
ByLondon
Periode07/09/200509/09/2005

Bibliografisk note

Serie: Lecture Notes in Computer Science, 3901

Citer dette

@inproceedings{a9640a00c74811dbbd5f000ea68e967b,
title = "Converting One Type-Based Abstract Domain to Another",
abstract = "The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported predicates are available in terms of some ``standard{"} assertions. The first task is to define an abstract domain corresponding to the assertions for a given module and express the descriptions as objects in that domain. Following that they are automatically transformed into the analysis domain of interest. We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain to another, with as little loss in precision as possible.",
author = "Gallagher, {John Patrick} and German Puebla and Elvira Albert",
note = "Serie: Lecture Notes in Computer Science, 3901",
year = "2006",
language = "English",
pages = "147--162",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Converting One Type-Based Abstract Domain to Another. / Gallagher, John Patrick; Puebla, German; Albert, Elvira.

I: Lecture Notes in Computer Science, 2006, s. 147-162.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

TY - GEN

T1 - Converting One Type-Based Abstract Domain to Another

AU - Gallagher, John Patrick

AU - Puebla, German

AU - Albert, Elvira

N1 - Serie: Lecture Notes in Computer Science, 3901

PY - 2006

Y1 - 2006

N2 - The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported predicates are available in terms of some ``standard" assertions. The first task is to define an abstract domain corresponding to the assertions for a given module and express the descriptions as objects in that domain. Following that they are automatically transformed into the analysis domain of interest. We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain to another, with as little loss in precision as possible.

AB - The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported predicates are available in terms of some ``standard" assertions. The first task is to define an abstract domain corresponding to the assertions for a given module and express the descriptions as objects in that domain. Following that they are automatically transformed into the analysis domain of interest. We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain to another, with as little loss in precision as possible.

M3 - Conference article

SP - 147

EP - 162

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -