Automatically assigned DDC number: 005131

Manually assigned DDC number: 005115

Number of references: 4

Title: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs

Author:

Subject: Paolo Volpe A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs

Description: . In this paper we study a first-order language that allows to express and prove properties reagarding the sharing of variables between non-ground terms and their types. The class of true formulas is proven to be decidable through a procedure of elimination of quantifiers and the language, with its proof procedure, is shown to have interesting applications in validation and debugging of logic programs. An interesting parallel is pointed out between the language of aliasing properties and the first order theories of Boolean algebras. Keywords: Verification of logic programs, languages of specification, first-order logic. 1 Introduction In many approaches to the verification of properties of logic programs, a formal language is required that allows to express the properties of programs one is interested in. In the methods proposed in [13][1][12][16], an assertional language is assumed to verify properties of arguments of predicates of the programs. Some verification conditions are prov...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-06-22

Format: ps

Identifier: http://citeseer.ist.psu.edu/147949.html

Source: http://www.di.unipi.it/~volpep/sas98/sas98.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/64783.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="33"   Title="Directional   Types   and   the   Annotation   Method,">

            <identifier   Org="ISBN:026264035X"   Paper_ID="/64783.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/64783.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1581135289"   Paper_ID="/64783.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540411372"   Paper_ID="/64783.html"   Extracted="3540411372"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/64783.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/64783.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/64783.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/64783.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/75555.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT   Vol2"   CiteSeer_Volume=""   Title="Inductive   Assertion   Method   for   Logic   Programs,">

            <identifier   Org="ISBN:0444705260"   Paper_ID="/75555.html"   Extracted="0444705260"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0444884319"   Paper_ID="/75555.html"   Extracted="0444884319"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0471937894"   Paper_ID="/75555.html"   Extracted="0471937894"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818607998"   Paper_ID="/75555.html"   Extracted="0818607998"   />

            <identifier   Org="ISBN:354017611X"   Paper_ID="/75555.html"   Extracted="354017611X"   />

            <identifier   Org="ISBN:354019102X"   Paper_ID="/75555.html"   Extracted="354019102X"   />

            <identifier   Org="ISBN:3540195580"   Paper_ID="/75555.html"   Extracted="3540195580"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540411372"   Paper_ID="/75555.html"   Extracted="3540411372"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439595"   Paper_ID="/75555.html"   Extracted="3540439595"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540509402"   Paper_ID="/75555.html"   Extracted="3540509402"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540537090"   Paper_ID="/75555.html"   Extracted="3540537090"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540539816"   Paper_ID="/75555.html"   Extracted="3540539816"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/75555.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/75555.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540627189"   Paper_ID="/75555.html"   Extracted="3540627189"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/75555.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540654623"   Paper_ID="/75555.html"   Extracted="3540654623"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/75555.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9971509253"   Paper_ID="/75555.html"   Extracted="9971509253"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/20960.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourth   International   Conference   on   Algebraic   and   Logic   Programming"   CiteSeer_Volume=""   Title="A   Logic   for   Variable   Aliasing   in   Logic   Programs,">

            <identifier   Org="ISBN:3540429859"   Paper_ID="/20960.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540617353"   Paper_ID="/20960.html"   Extracted="3540617353"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/20960.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/20960.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:9031320005"   Paper_ID="/20960.html"   Extracted="9031320005"   />

      </rec>

      <rec   ID="/308429.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="222"   Title="Design   of   abstract   domains   using   first-order   logic,">

            <identifier   Org="ISBN:3540650121"   Paper_ID="/308429.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/308429.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:9031324469"   Paper_ID="/308429.html"   Extracted="9031324469"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   First-Order   Language   for   Expressing   Aliasing   and   Type   Properties   of   Logic   Programs">

            <identifier   Org="ISBN:3540221522"   Paper_ID="SELF"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="SELF"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="SELF"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com