A Model for Inter-module Analysis and Optimizing Compilation View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2001-05-02

AUTHORS

Francisco Bueno , Manuel Hermenegildo , Germán Puebla , María García de la Banda , Kim Marriott , Peter J. Stuckey

ABSTRACT

Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules. More... »

PAGES

86-102

Book

TITLE

Logic Based Program Synthesis and Transformation

ISBN

978-3-540-42127-6
978-3-540-45142-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45142-0_6

DOI

http://dx.doi.org/10.1007/3-540-45142-0_6

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Technical University of Madrid (UPM), Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Technical University of Madrid (UPM), Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bueno", 
        "givenName": "Francisco", 
        "id": "sg:person.016135661277.90", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016135661277.90"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Technical University of Madrid (UPM), Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Technical University of Madrid (UPM), Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hermenegildo", 
        "givenName": "Manuel", 
        "id": "sg:person.016231041373.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Technical University of Madrid (UPM), Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Technical University of Madrid (UPM), Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Puebla", 
        "givenName": "Germ\u00e1n", 
        "id": "sg:person.010304740003.09", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010304740003.09"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Mar\u00eda Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Marriott", 
        "givenName": "Kim", 
        "id": "sg:person.014375607254.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Melbourne, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "University of Melbourne, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stuckey", 
        "givenName": "Peter J.", 
        "id": "sg:person.012243374043.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2001-05-02", 
    "datePublishedReg": "2001-05-02", 
    "description": "Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.", 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45142-0_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-42127-6", 
        "978-3-540-45142-6"
      ], 
      "name": "Logic Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "keywords": [
      "global program analysis", 
      "program analysis", 
      "separate compilation", 
      "logic programming language", 
      "context-sensitive program analysis", 
      "programming language", 
      "optimizing compilation", 
      "module", 
      "execution", 
      "compilation", 
      "implementation", 
      "language", 
      "recent research", 
      "model", 
      "orders of magnitude", 
      "order", 
      "research", 
      "analysis", 
      "program", 
      "whole", 
      "simple model", 
      "specialization", 
      "module analysis", 
      "procedure", 
      "magnitude"
    ], 
    "name": "A Model for Inter-module Analysis and Optimizing Compilation", 
    "pagination": "86-102", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1000182047"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45142-0_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45142-0_6", 
      "https://app.dimensions.ai/details/publication/pub.1000182047"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_254.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-45142-0_6"
  }
]
 

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-45142-0_6'

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-45142-0_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45142-0_6'

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-45142-0_6'


 

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

120 TRIPLES      22 PREDICATES      49 URIs      42 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45142-0_6 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nebea333afee9451dba4028db6549cc51
4 schema:datePublished 2001-05-02
5 schema:datePublishedReg 2001-05-02
6 schema:description Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.
7 schema:genre chapter
8 schema:inLanguage en
9 schema:isAccessibleForFree true
10 schema:isPartOf N02c8759f04254de6a57fd5761062437b
11 schema:keywords analysis
12 compilation
13 context-sensitive program analysis
14 execution
15 global program analysis
16 implementation
17 language
18 logic programming language
19 magnitude
20 model
21 module
22 module analysis
23 optimizing compilation
24 order
25 orders of magnitude
26 procedure
27 program
28 program analysis
29 programming language
30 recent research
31 research
32 separate compilation
33 simple model
34 specialization
35 whole
36 schema:name A Model for Inter-module Analysis and Optimizing Compilation
37 schema:pagination 86-102
38 schema:productId N22291af6f7f74ae0b27cd50e43584e41
39 N81ff36a519bd482594160ccf1f6595e0
40 schema:publisher Ne6fa82c7d0f64e739bb3077e5ef28da4
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000182047
42 https://doi.org/10.1007/3-540-45142-0_6
43 schema:sdDatePublished 2022-05-20T07:44
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher N0025f51e1e8d43d2a4cdefb2ab44777a
46 schema:url https://doi.org/10.1007/3-540-45142-0_6
47 sgo:license sg:explorer/license/
48 sgo:sdDataset chapters
49 rdf:type schema:Chapter
50 N0025f51e1e8d43d2a4cdefb2ab44777a schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 N02c8759f04254de6a57fd5761062437b schema:isbn 978-3-540-42127-6
53 978-3-540-45142-6
54 schema:name Logic Based Program Synthesis and Transformation
55 rdf:type schema:Book
56 N1f5b685f2a7a49e3b1d7d5a9e71dd468 rdf:first sg:person.012243374043.93
57 rdf:rest rdf:nil
58 N22291af6f7f74ae0b27cd50e43584e41 schema:name dimensions_id
59 schema:value pub.1000182047
60 rdf:type schema:PropertyValue
61 N47e58ec5adee4f148a4edcaaaf8e934c rdf:first sg:person.014375607254.44
62 rdf:rest N1f5b685f2a7a49e3b1d7d5a9e71dd468
63 N6c6aaddb153941a4ba076e7c7f4992e8 rdf:first sg:person.016231041373.11
64 rdf:rest N7c5ec001e30b464683b8b34fdc7e4423
65 N7c5ec001e30b464683b8b34fdc7e4423 rdf:first sg:person.010304740003.09
66 rdf:rest N86d85ab039864993ad8eb19903948317
67 N81ff36a519bd482594160ccf1f6595e0 schema:name doi
68 schema:value 10.1007/3-540-45142-0_6
69 rdf:type schema:PropertyValue
70 N86d85ab039864993ad8eb19903948317 rdf:first sg:person.016350443307.93
71 rdf:rest N47e58ec5adee4f148a4edcaaaf8e934c
72 Ne6fa82c7d0f64e739bb3077e5ef28da4 schema:name Springer Nature
73 rdf:type schema:Organisation
74 Nebea333afee9451dba4028db6549cc51 rdf:first sg:person.016135661277.90
75 rdf:rest N6c6aaddb153941a4ba076e7c7f4992e8
76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information and Computing Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
80 schema:name Computer Software
81 rdf:type schema:DefinedTerm
82 sg:person.010304740003.09 schema:affiliation grid-institutes:grid.5690.a
83 schema:familyName Puebla
84 schema:givenName Germán
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010304740003.09
86 rdf:type schema:Person
87 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
88 schema:familyName Stuckey
89 schema:givenName Peter J.
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
91 rdf:type schema:Person
92 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
93 schema:familyName Marriott
94 schema:givenName Kim
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
96 rdf:type schema:Person
97 sg:person.016135661277.90 schema:affiliation grid-institutes:grid.5690.a
98 schema:familyName Bueno
99 schema:givenName Francisco
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016135661277.90
101 rdf:type schema:Person
102 sg:person.016231041373.11 schema:affiliation grid-institutes:grid.5690.a
103 schema:familyName Hermenegildo
104 schema:givenName Manuel
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11
106 rdf:type schema:Person
107 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
108 schema:familyName de la Banda
109 schema:givenName María García
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
111 rdf:type schema:Person
112 grid-institutes:grid.1002.3 schema:alternateName Monash University, Australia
113 schema:name Monash University, Australia
114 rdf:type schema:Organization
115 grid-institutes:grid.1008.9 schema:alternateName University of Melbourne, Australia
116 schema:name University of Melbourne, Australia
117 rdf:type schema:Organization
118 grid-institutes:grid.5690.a schema:alternateName Technical University of Madrid (UPM), Spain
119 schema:name Technical University of Madrid (UPM), Spain
120 rdf:type schema:Organization
 




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


...