Goal dependent vs. goal independent analysis of logic programs View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1994

AUTHORS

M. Codish , M. García de la Banda , M. Bruynooghe , M. Hermenegildo

ABSTRACT

Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses. More... »

PAGES

305-319

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-58216-9_46

DOI

http://dx.doi.org/10.1007/3-540-58216-9_46

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1004913431


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Codish", 
        "givenName": "M.", 
        "id": "sg:person.011114565523.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011114565523.56"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "M. Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bruynooghe", 
        "givenName": "M.", 
        "id": "sg:person.012034523241.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012034523241.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hermenegildo", 
        "givenName": "M.", 
        "id": "sg:person.016231041373.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.", 
    "editor": [
      {
        "familyName": "Pfenning", 
        "givenName": "Frank", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-58216-9_46", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-58216-8", 
        "978-3-540-48573-5"
      ], 
      "name": "Logic Programming and Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "practical experience", 
      "framework", 
      "context", 
      "bottom", 
      "preliminary stage", 
      "practical use", 
      "practical systems", 
      "efficient use", 
      "goal", 
      "interpretation", 
      "optimization", 
      "implementation tradeoffs", 
      "domain characteristics", 
      "experimental evaluation", 
      "respect", 
      "dependent analysis", 
      "goal-independent analysis", 
      "independent analysis", 
      "analysis", 
      "logic programs", 
      "program", 
      "approach", 
      "literature", 
      "description", 
      "analyzer", 
      "applications", 
      "experience", 
      "stage", 
      "use", 
      "system", 
      "abstract interpretation", 
      "flavor", 
      "tradeoff", 
      "influence", 
      "characteristics", 
      "evaluation", 
      "comparison", 
      "domain Prop", 
      "props", 
      "technique", 
      "advantages"
    ], 
    "name": "Goal dependent vs. goal independent analysis of logic programs", 
    "pagination": "305-319", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1004913431"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-58216-9_46"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-58216-9_46", 
      "https://app.dimensions.ai/details/publication/pub.1004913431"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:46", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_348.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-58216-9_46"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-58216-9_46'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-58216-9_46'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-58216-9_46'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-58216-9_46'


 

This table displays all metadata directly associated to this object as RDF triples.

128 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-58216-9_46 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author Ne2af273c1ffc4acba99c2fcdfa6b998d
4 schema:datePublished 1994
5 schema:datePublishedReg 1994-01-01
6 schema:description Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.
7 schema:editor N2475fca6be6848d8981a821fa1e1aa78
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N7ba3bcad9f564667a12207f871585ee2
12 schema:keywords abstract interpretation
13 advantages
14 analysis
15 analyzer
16 applications
17 approach
18 bottom
19 characteristics
20 comparison
21 context
22 dependent analysis
23 description
24 domain Prop
25 domain characteristics
26 efficient use
27 evaluation
28 experience
29 experimental evaluation
30 flavor
31 framework
32 goal
33 goal-independent analysis
34 implementation tradeoffs
35 independent analysis
36 influence
37 interpretation
38 literature
39 logic programs
40 optimization
41 practical experience
42 practical systems
43 practical use
44 preliminary stage
45 program
46 props
47 respect
48 stage
49 system
50 technique
51 tradeoff
52 use
53 schema:name Goal dependent vs. goal independent analysis of logic programs
54 schema:pagination 305-319
55 schema:productId N157dd89184d0457c9394cb148368380b
56 N324441d479924463bd66c78fb8ac630d
57 schema:publisher N3913db593cf4477c8ad4b781b667b1e7
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004913431
59 https://doi.org/10.1007/3-540-58216-9_46
60 schema:sdDatePublished 2022-05-20T07:46
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N11326708b9e94577bddc0cfc7e3b0e92
63 schema:url https://doi.org/10.1007/3-540-58216-9_46
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N0458c05e58e048a3be5a42131ae92761 schema:familyName Pfenning
68 schema:givenName Frank
69 rdf:type schema:Person
70 N11326708b9e94577bddc0cfc7e3b0e92 schema:name Springer Nature - SN SciGraph project
71 rdf:type schema:Organization
72 N157dd89184d0457c9394cb148368380b schema:name dimensions_id
73 schema:value pub.1004913431
74 rdf:type schema:PropertyValue
75 N2475fca6be6848d8981a821fa1e1aa78 rdf:first N0458c05e58e048a3be5a42131ae92761
76 rdf:rest rdf:nil
77 N324441d479924463bd66c78fb8ac630d schema:name doi
78 schema:value 10.1007/3-540-58216-9_46
79 rdf:type schema:PropertyValue
80 N3913db593cf4477c8ad4b781b667b1e7 schema:name Springer Nature
81 rdf:type schema:Organisation
82 N74636e85c8554f2e8ecfba7a7f43fdcf rdf:first sg:person.016231041373.11
83 rdf:rest rdf:nil
84 N7ba3bcad9f564667a12207f871585ee2 schema:isbn 978-3-540-48573-5
85 978-3-540-58216-8
86 schema:name Logic Programming and Automated Reasoning
87 rdf:type schema:Book
88 Nc6aff61aa9f74c98a88e37fab5301db7 rdf:first sg:person.012034523241.20
89 rdf:rest N74636e85c8554f2e8ecfba7a7f43fdcf
90 Ne2af273c1ffc4acba99c2fcdfa6b998d rdf:first sg:person.011114565523.56
91 rdf:rest Nf8f4fec316744073b306621fef12af50
92 Nf8f4fec316744073b306621fef12af50 rdf:first sg:person.016350443307.93
93 rdf:rest Nc6aff61aa9f74c98a88e37fab5301db7
94 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
95 schema:name Philosophy and Religious Studies
96 rdf:type schema:DefinedTerm
97 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
98 schema:name Philosophy
99 rdf:type schema:DefinedTerm
100 sg:person.011114565523.56 schema:affiliation grid-institutes:None
101 schema:familyName Codish
102 schema:givenName M.
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011114565523.56
104 rdf:type schema:Person
105 sg:person.012034523241.20 schema:affiliation grid-institutes:grid.5596.f
106 schema:familyName Bruynooghe
107 schema:givenName M.
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012034523241.20
109 rdf:type schema:Person
110 sg:person.016231041373.11 schema:affiliation grid-institutes:grid.5690.a
111 schema:familyName Hermenegildo
112 schema:givenName M.
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11
114 rdf:type schema:Person
115 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.5690.a
116 schema:familyName de la Banda
117 schema:givenName M. García
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
119 rdf:type schema:Person
120 grid-institutes:None schema:alternateName Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel
121 schema:name Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel
122 rdf:type schema:Organization
123 grid-institutes:grid.5596.f schema:alternateName Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium
124 schema:name Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium
125 rdf:type schema:Organization
126 grid-institutes:grid.5690.a schema:alternateName Facultad de Informática, Universidad Politécnica de Madrid, Spain
127 schema:name Facultad de Informática, Universidad Politécnica de Madrid, Spain
128 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...