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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Technical University of Madrid (UPM)", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Department of Computer Science, Technical University of Madrid (UPM)"
          ], 
          "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": "Department of Computer Science, Technical University of Madrid (UPM)", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Department of Computer Science, Technical University of Madrid (UPM)"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Correas", 
        "givenName": "Jes\u00fas", 
        "id": "sg:person.014704503052.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014704503052.46"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Depts. of Computer Science and Electrical and Computer Engineering, University of New Mexico (UNM)", 
          "id": "http://www.grid.ac/institutes/grid.266832.b", 
          "name": [
            "Department of Computer Science, Technical University of Madrid (UPM)", 
            "Depts. of Computer Science and Electrical and Computer Engineering, University of New Mexico (UNM)"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hermenegildo", 
        "givenName": "Manuel V.", 
        "id": "sg:person.016231041373.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Technical University of Madrid (UPM)", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Department of Computer Science, Technical University of Madrid (UPM)"
          ], 
          "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": "School of Computer Science and Software Engineering, Monash University", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science and Software Engineering, Monash University"
          ], 
          "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": "School of Computer Science and Software Engineering, Monash University", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science and Software Engineering, Monash University"
          ], 
          "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": "Department of Computer Science and Software Engineering, University of Melbourne", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "Department of Computer Science and Software Engineering, University of Melbourne"
          ], 
          "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": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argue that a general framework for context-sensitive analysis of modular programs, i.e., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t.\u00a0the design goals that motivate our work is also discussed.", 
    "editor": [
      {
        "familyName": "Bruynooghe", 
        "givenName": "Maurice", 
        "type": "Person"
      }, 
      {
        "familyName": "Lau", 
        "givenName": "Kung-Kiu", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-25951-0_8", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-22152-4", 
        "978-3-540-25951-0"
      ], 
      "name": "Program Development in Computational Logic", 
      "type": "Book"
    }, 
    "keywords": [
      "context-sensitive analysis", 
      "context-free analysis", 
      "modular programs", 
      "design goals", 
      "high-level description", 
      "implementation of analysis", 
      "generic framework", 
      "specialization techniques", 
      "description domains", 
      "general framework", 
      "framework", 
      "such information", 
      "practical problems", 
      "different contexts", 
      "information", 
      "CiaoPP", 
      "preprocessor", 
      "proposal", 
      "goal", 
      "implementation", 
      "domain", 
      "different ways", 
      "context", 
      "important improvement", 
      "order", 
      "program", 
      "design", 
      "technique", 
      "solution", 
      "way", 
      "satisfies", 
      "work", 
      "restrictive properties", 
      "description", 
      "analysis", 
      "improvement", 
      "one", 
      "number", 
      "experience", 
      "objective", 
      "setting", 
      "practice", 
      "behavior", 
      "properties", 
      "problem", 
      "paper"
    ], 
    "name": "A Generic Framework for Context-Sensitive Analysis of Modular Programs", 
    "pagination": "233-260", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035270861"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-25951-0_8"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-25951-0_8", 
      "https://app.dimensions.ai/details/publication/pub.1035270861"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:48", 
    "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_440.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-25951-0_8"
  }
]

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

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

163 TRIPLES      23 PREDICATES      72 URIs      65 LITERALS      7 BLANK NODES