Extended Set Constraints and Tree Grammar Abstraction of Programs

Research output: Contribution to conferencePaperResearch

Abstract

Set constraints are relations between sets of ground terms or trees.
This paper presents two main contributions: firstly we consider an extension of the systems of set constraints to include a tuple constructor, and secondly we construct a simplified solution procedure for set constraints. We illustrate the approach using logic programs and show that we can construct various set-based abstractions of a program including the "Tau-P" abstraction using a system of set constraints derived in a single pass over the program.
Original languageEnglish
Publication date2011
Number of pages12
Publication statusPublished - 2011

Cite this

@conference{70cc7ac81fdc4c3589f71bb9b153df0b,
title = "Extended Set Constraints and Tree Grammar Abstraction of Programs",
abstract = "Set constraints are relations between sets of ground terms or trees.This paper presents two main contributions: firstly we consider an extension of the systems of set constraints to include a tuple constructor, and secondly we construct a simplified solution procedure for set constraints. We illustrate the approach using logic programs and show that we can construct various set-based abstractions of a program including the {"}Tau-P{"} abstraction using a system of set constraints derived in a single pass over the program.",
author = "Mads Rosendahl and Gallagher, {John Patrick}",
year = "2011",
language = "English",

}

Extended Set Constraints and Tree Grammar Abstraction of Programs. / Rosendahl, Mads; Gallagher, John Patrick.

2011.

Research output: Contribution to conferencePaperResearch

TY - CONF

T1 - Extended Set Constraints and Tree Grammar Abstraction of Programs

AU - Rosendahl, Mads

AU - Gallagher, John Patrick

PY - 2011

Y1 - 2011

N2 - Set constraints are relations between sets of ground terms or trees.This paper presents two main contributions: firstly we consider an extension of the systems of set constraints to include a tuple constructor, and secondly we construct a simplified solution procedure for set constraints. We illustrate the approach using logic programs and show that we can construct various set-based abstractions of a program including the "Tau-P" abstraction using a system of set constraints derived in a single pass over the program.

AB - Set constraints are relations between sets of ground terms or trees.This paper presents two main contributions: firstly we consider an extension of the systems of set constraints to include a tuple constructor, and secondly we construct a simplified solution procedure for set constraints. We illustrate the approach using logic programs and show that we can construct various set-based abstractions of a program including the "Tau-P" abstraction using a system of set constraints derived in a single pass over the program.

M3 - Paper

ER -