A Web-based Tool Combining Different Type Analyses

Kim Steen Henriksen, John Patrick Gallagher

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Resumé

There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allow
the analysis results to be examined conveniently by clicking on points in the original
program clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal "domain model" of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.
OriginalsprogEngelsk
TitelWLPE-06: Workshop on Logic-Based methods in Programming Environments : ICLP-06 Workshop
RedaktørerWim Vanhoof, Susana Hernández
Antal sider12
Publikationsdato2006
Sider118-129
StatusUdgivet - 2006
BegivenhedThe 2006 Federated Logic Conference - Seattle, USA
Varighed: 10 aug. 200622 aug. 2006

Konference

KonferenceThe 2006 Federated Logic Conference
LandUSA
BySeattle
Periode10/08/200622/08/2006

Citer dette

Henriksen, K. S., & Gallagher, J. P. (2006). A Web-based Tool Combining Different Type Analyses. I W. Vanhoof, & S. Hernández (red.), WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop (s. 118-129)
Henriksen, Kim Steen ; Gallagher, John Patrick. / A Web-based Tool Combining Different Type Analyses. WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. red. / Wim Vanhoof ; Susana Hernández. 2006. s. 118-129
@inproceedings{13021d40c74811dbbd5f000ea68e967b,
title = "A Web-based Tool Combining Different Type Analyses",
abstract = "There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allowthe analysis results to be examined conveniently by clicking on points in the originalprogram clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal {"}domain model{"} of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.",
author = "Henriksen, {Kim Steen} and Gallagher, {John Patrick}",
year = "2006",
language = "English",
pages = "118--129",
editor = "Wim Vanhoof and Susana Hern{\'a}ndez",
booktitle = "WLPE-06: Workshop on Logic-Based methods in Programming Environments",

}

Henriksen, KS & Gallagher, JP 2006, A Web-based Tool Combining Different Type Analyses. i W Vanhoof & S Hernández (red), WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. s. 118-129, The 2006 Federated Logic Conference, Seattle, USA, 10/08/2006.

A Web-based Tool Combining Different Type Analyses. / Henriksen, Kim Steen; Gallagher, John Patrick.

WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. red. / Wim Vanhoof; Susana Hernández. 2006. s. 118-129.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - A Web-based Tool Combining Different Type Analyses

AU - Henriksen, Kim Steen

AU - Gallagher, John Patrick

PY - 2006

Y1 - 2006

N2 - There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allowthe analysis results to be examined conveniently by clicking on points in the originalprogram clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal "domain model" of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.

AB - There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allowthe analysis results to be examined conveniently by clicking on points in the originalprogram clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal "domain model" of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.

M3 - Article in proceedings

SP - 118

EP - 129

BT - WLPE-06: Workshop on Logic-Based methods in Programming Environments

A2 - Vanhoof, Wim

A2 - Hernández, Susana

ER -

Henriksen KS, Gallagher JP. A Web-based Tool Combining Different Type Analyses. I Vanhoof W, Hernández S, red., WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. 2006. s. 118-129