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
<?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>