Bootstrapping Compiler Generators from Partial Evaluators View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2012

AUTHORS

Robert Glück

ABSTRACT

This paper shows that bootstrapping of compiler generators from program specializers is a viable alternative to the third Futamura projection. To practically validate the technique, a novel partial evaluation-based compiler generator was designed and implemented for a recursive flowchart language. Three-step bootstrapping was found to be faster and to produce the same compiler generator that Gomard and Jones produced two decades ago by double self-application. Compiler-generator bootstrapping has distinct properties that are not present in the classic three Futamura projections, such as the ability to turn a specializer into a compiler generator in one step without self-application. Up to now, the approach of hand-writing compiler generators has only been used to avoid difficulties when specializing strongly-typed languages, not as a first step towards compiler-generator bootstrapping. More... »

PAGES

125-141

References to SciGraph publications

  • 1996. Metacomputation: Metasystem transitions plus supercompilation in PARTIAL EVALUATION
  • 2002-03. Program transformation system based on generalized partial computation in NEW GENERATION COMPUTING
  • 1984-12. Polyvariant mixed computation for analyzer programs in ACTA INFORMATICA
  • 2002. Principles of Inverse Computation and the Universal Resolving Algorithm in THE ESSENCE OF COMPUTATION
  • 1999. An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language in PARTIAL EVALUATION
  • 1985. An experiment in partial evaluation: The generation of a compiler generator in REWRITING TECHNIQUES AND APPLICATIONS
  • 1997-07. An Automatic Program Generator for Multi-Level Specialization in LISP AND SYMBOLIC COMPUTATION
  • 2010. An Experiment with the Fourth Futamura Projection in PERSPECTIVES OF SYSTEMS INFORMATICS
  • 1983. Partial computation of programs in RIMS SYMPOSIA ON SOFTWARE SCIENCE AND ENGINEERING
  • 2001-09. A Hybrid Approach to Online and Offline Partial Evaluation in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 1986. The structure of a self-applicable partial evaluator in PROGRAMS AS DATA OBJECTS
  • Book

    TITLE

    Perspectives of Systems Informatics

    ISBN

    978-3-642-29708-3
    978-3-642-29709-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-29709-0_13

    DOI

    http://dx.doi.org/10.1007/978-3-642-29709-0_13

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Dept. of Computer Science, University of Copenhagen, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gl\u00fcck", 
            "givenName": "Robert", 
            "id": "sg:person.010754010217.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf03037260", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000035698", 
              "https://doi.org/10.1007/bf03037260"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-16446-4_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000053549", 
              "https://doi.org/10.1007/3-540-16446-4_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-11980-9_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001337766", 
              "https://doi.org/10.1007/3-540-11980-9_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-15976-2_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003208420", 
              "https://doi.org/10.1007/3-540-15976-2_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/spe.1086", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005085336"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1244381.1244404", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006492707"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-11486-1_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008260336", 
              "https://doi.org/10.1007/978-3-642-11486-1_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-11486-1_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008260336", 
              "https://doi.org/10.1007/978-3-642-11486-1_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/963778.963784", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010449995"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(76)90011-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010926984"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(76)90011-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010926984"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/367436.367477", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011592312"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-47018-2_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013466468", 
              "https://doi.org/10.1007/3-540-47018-2_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0190(77)90078-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016252608"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s1571-0661(05)80636-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023271699"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/232627.232647", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026026986"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0066-4138(64)90013-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026845449"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0066-4138(64)90013-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026845449"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1007763000430", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038704478", 
              "https://doi.org/10.1023/a:1007763000430"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ipl.2010.05.020", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040808984"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.scico.2004.03.011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041608832"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1012984529382", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049190504", 
              "https://doi.org/10.1023/a:1012984529382"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-36377-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051401164", 
              "https://doi.org/10.1007/3-540-36377-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1480945.1480954", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051792591"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61580-6_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052100186", 
              "https://doi.org/10.1007/3-540-61580-6_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00271642", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053177031", 
              "https://doi.org/10.1007/bf00271642"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00271642", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053177031", 
              "https://doi.org/10.1007/bf00271642"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2012", 
        "datePublishedReg": "2012-01-01", 
        "description": "This paper shows that bootstrapping of compiler generators from program specializers is a viable alternative to the third Futamura projection. To practically validate the technique, a novel partial evaluation-based compiler generator was designed and implemented for a recursive flowchart language. Three-step bootstrapping was found to be faster and to produce the same compiler generator that Gomard and Jones produced two decades ago by double self-application. Compiler-generator bootstrapping has distinct properties that are not present in the classic three Futamura projections, such as the ability to turn a specializer into a compiler generator in one step without self-application. Up to now, the approach of hand-writing compiler generators has only been used to avoid difficulties when specializing strongly-typed languages, not as a first step towards compiler-generator bootstrapping.", 
        "editor": [
          {
            "familyName": "Clarke", 
            "givenName": "Edmund", 
            "type": "Person"
          }, 
          {
            "familyName": "Virbitskaite", 
            "givenName": "Irina", 
            "type": "Person"
          }, 
          {
            "familyName": "Voronkov", 
            "givenName": "Andrei", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-29709-0_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-29708-3", 
            "978-3-642-29709-0"
          ], 
          "name": "Perspectives of Systems Informatics", 
          "type": "Book"
        }, 
        "name": "Bootstrapping Compiler Generators from Partial Evaluators", 
        "pagination": "125-141", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-29709-0_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "be1f73b0ab4122173664cc3dc78342a521128bf82e4a1f850882517bec5edb08"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1039911729"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-29709-0_13", 
          "https://app.dimensions.ai/details/publication/pub.1039911729"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T20:07", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8687_00000268.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-29709-0_13"
      }
    ]
     

    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/978-3-642-29709-0_13'

    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/978-3-642-29709-0_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29709-0_13'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29709-0_13'


     

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

    155 TRIPLES      23 PREDICATES      50 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-29709-0_13 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author N4dae7a3e68a44d33986f94c92c1cece0
    4 schema:citation sg:pub.10.1007/3-540-11980-9_13
    5 sg:pub.10.1007/3-540-15976-2_6
    6 sg:pub.10.1007/3-540-16446-4_14
    7 sg:pub.10.1007/3-540-36377-7_13
    8 sg:pub.10.1007/3-540-47018-2_2
    9 sg:pub.10.1007/3-540-61580-6_24
    10 sg:pub.10.1007/978-3-642-11486-1_12
    11 sg:pub.10.1007/bf00271642
    12 sg:pub.10.1007/bf03037260
    13 sg:pub.10.1023/a:1007763000430
    14 sg:pub.10.1023/a:1012984529382
    15 https://doi.org/10.1002/spe.1086
    16 https://doi.org/10.1016/0004-3702(76)90011-4
    17 https://doi.org/10.1016/0020-0190(77)90078-3
    18 https://doi.org/10.1016/0066-4138(64)90013-8
    19 https://doi.org/10.1016/j.ipl.2010.05.020
    20 https://doi.org/10.1016/j.scico.2004.03.011
    21 https://doi.org/10.1016/s1571-0661(05)80636-x
    22 https://doi.org/10.1145/1244381.1244404
    23 https://doi.org/10.1145/1480945.1480954
    24 https://doi.org/10.1145/232627.232647
    25 https://doi.org/10.1145/367436.367477
    26 https://doi.org/10.1145/963778.963784
    27 schema:datePublished 2012
    28 schema:datePublishedReg 2012-01-01
    29 schema:description This paper shows that bootstrapping of compiler generators from program specializers is a viable alternative to the third Futamura projection. To practically validate the technique, a novel partial evaluation-based compiler generator was designed and implemented for a recursive flowchart language. Three-step bootstrapping was found to be faster and to produce the same compiler generator that Gomard and Jones produced two decades ago by double self-application. Compiler-generator bootstrapping has distinct properties that are not present in the classic three Futamura projections, such as the ability to turn a specializer into a compiler generator in one step without self-application. Up to now, the approach of hand-writing compiler generators has only been used to avoid difficulties when specializing strongly-typed languages, not as a first step towards compiler-generator bootstrapping.
    30 schema:editor N80616adcd8964cf2b64a07cc03dc85cb
    31 schema:genre chapter
    32 schema:inLanguage en
    33 schema:isAccessibleForFree false
    34 schema:isPartOf N4ebd4407bc9e4b2a9beb330b814aed53
    35 schema:name Bootstrapping Compiler Generators from Partial Evaluators
    36 schema:pagination 125-141
    37 schema:productId N8e6d77b998e94ea9b0b80f98add7ed71
    38 Nc5803bf56d6743ebb051e63869792d69
    39 Nef3129e865a84fffb2323f12bd47215d
    40 schema:publisher N9b54b892207347c5b78d99a93efaf653
    41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039911729
    42 https://doi.org/10.1007/978-3-642-29709-0_13
    43 schema:sdDatePublished 2019-04-15T20:07
    44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    45 schema:sdPublisher N0be9f895a4a849ed8fb7ae51ada9e860
    46 schema:url http://link.springer.com/10.1007/978-3-642-29709-0_13
    47 sgo:license sg:explorer/license/
    48 sgo:sdDataset chapters
    49 rdf:type schema:Chapter
    50 N0be9f895a4a849ed8fb7ae51ada9e860 schema:name Springer Nature - SN SciGraph project
    51 rdf:type schema:Organization
    52 N1b6bd2ff4af043c094e756b7bb23cb71 schema:familyName Clarke
    53 schema:givenName Edmund
    54 rdf:type schema:Person
    55 N312dfdd530e74e69a76e16fefe317d2d rdf:first Nb65e100f18b949808d722452b6f4a4a4
    56 rdf:rest rdf:nil
    57 N43c7bb5ecf634faaa3423697b08cec59 schema:familyName Virbitskaite
    58 schema:givenName Irina
    59 rdf:type schema:Person
    60 N4dae7a3e68a44d33986f94c92c1cece0 rdf:first sg:person.010754010217.31
    61 rdf:rest rdf:nil
    62 N4ebd4407bc9e4b2a9beb330b814aed53 schema:isbn 978-3-642-29708-3
    63 978-3-642-29709-0
    64 schema:name Perspectives of Systems Informatics
    65 rdf:type schema:Book
    66 N80616adcd8964cf2b64a07cc03dc85cb rdf:first N1b6bd2ff4af043c094e756b7bb23cb71
    67 rdf:rest Ndaeac2d6b2ed4c5c8cd36ad2a1f71762
    68 N8e6d77b998e94ea9b0b80f98add7ed71 schema:name doi
    69 schema:value 10.1007/978-3-642-29709-0_13
    70 rdf:type schema:PropertyValue
    71 N9b54b892207347c5b78d99a93efaf653 schema:location Berlin, Heidelberg
    72 schema:name Springer Berlin Heidelberg
    73 rdf:type schema:Organisation
    74 Nb65e100f18b949808d722452b6f4a4a4 schema:familyName Voronkov
    75 schema:givenName Andrei
    76 rdf:type schema:Person
    77 Nc5803bf56d6743ebb051e63869792d69 schema:name readcube_id
    78 schema:value be1f73b0ab4122173664cc3dc78342a521128bf82e4a1f850882517bec5edb08
    79 rdf:type schema:PropertyValue
    80 Ndaeac2d6b2ed4c5c8cd36ad2a1f71762 rdf:first N43c7bb5ecf634faaa3423697b08cec59
    81 rdf:rest N312dfdd530e74e69a76e16fefe317d2d
    82 Nef3129e865a84fffb2323f12bd47215d schema:name dimensions_id
    83 schema:value pub.1039911729
    84 rdf:type schema:PropertyValue
    85 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    86 schema:name Language, Communication and Culture
    87 rdf:type schema:DefinedTerm
    88 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    89 schema:name Linguistics
    90 rdf:type schema:DefinedTerm
    91 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    92 schema:familyName Glück
    93 schema:givenName Robert
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    95 rdf:type schema:Person
    96 sg:pub.10.1007/3-540-11980-9_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001337766
    97 https://doi.org/10.1007/3-540-11980-9_13
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/3-540-15976-2_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003208420
    100 https://doi.org/10.1007/3-540-15976-2_6
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-16446-4_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000053549
    103 https://doi.org/10.1007/3-540-16446-4_14
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/3-540-36377-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051401164
    106 https://doi.org/10.1007/3-540-36377-7_13
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/3-540-47018-2_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013466468
    109 https://doi.org/10.1007/3-540-47018-2_2
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/3-540-61580-6_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052100186
    112 https://doi.org/10.1007/3-540-61580-6_24
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-642-11486-1_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008260336
    115 https://doi.org/10.1007/978-3-642-11486-1_12
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/bf00271642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053177031
    118 https://doi.org/10.1007/bf00271642
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/bf03037260 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000035698
    121 https://doi.org/10.1007/bf03037260
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1023/a:1007763000430 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038704478
    124 https://doi.org/10.1023/a:1007763000430
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1023/a:1012984529382 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049190504
    127 https://doi.org/10.1023/a:1012984529382
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1002/spe.1086 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005085336
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1016/0004-3702(76)90011-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010926984
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1016/0020-0190(77)90078-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016252608
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1016/0066-4138(64)90013-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026845449
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1016/j.ipl.2010.05.020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040808984
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1016/j.scico.2004.03.011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041608832
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1016/s1571-0661(05)80636-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1023271699
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1145/1244381.1244404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006492707
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1145/1480945.1480954 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051792591
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1145/232627.232647 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026026986
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1145/367436.367477 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011592312
    150 rdf:type schema:CreativeWork
    151 https://doi.org/10.1145/963778.963784 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010449995
    152 rdf:type schema:CreativeWork
    153 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    154 schema:name DIKU, Dept. of Computer Science, University of Copenhagen, Denmark
    155 rdf:type schema:Organization
     




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


    ...