Combining Semantics with Non-standard Interpreter Hierarchies View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000-11-24

AUTHORS

Sergei Abramov , Robert Glück

ABSTRACT

This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which conditions a combination can be realized by computer programs (robustness, safely combinable). We develop the underlying mathematical theory and examine the meaning of several non-standard interpreter towers. Our results suggest a technique for the implementation of a certain class of programming language dialects by composing a hierarchy of non-standard interpreters. More... »

PAGES

201-213

References to SciGraph publications

  • 1997-05. Running programs backwards: The logical inversion of imperative computation in FORMAL ASPECTS OF COMPUTING
  • 1996-05. A simple reflective interpreter in LISP AND SYMBOLIC COMPUTATION
  • 2000. The Universal Resolving Algorithm: Inverse Computation in a Functional Language in MATHEMATICS OF PROGRAM CONSTRUCTION
  • Book

    TITLE

    FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science

    ISBN

    978-3-540-41413-1
    978-3-540-44450-3

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-44450-5_16

    DOI

    http://dx.doi.org/10.1007/3-540-44450-5_16

    DIMENSIONS

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


    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": "Russian Academy of Sciences", 
              "id": "https://www.grid.ac/institutes/grid.4886.2", 
              "name": [
                "Russian Academy of Sciences, Program Systems Institute, RU-152140, Pereslavl-Zalessky, Russia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Abramov", 
            "givenName": "Sergei", 
            "id": "sg:person.010307436465.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307436465.27"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "PRESTO, JST, Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan"
              ], 
              "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/bf01806112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007570911", 
              "https://doi.org/10.1007/bf01806112"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01806112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007570911", 
              "https://doi.org/10.1007/bf01806112"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211087", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008568428", 
              "https://doi.org/10.1007/bf01211087"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211087", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008568428", 
              "https://doi.org/10.1007/bf01211087"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796800001465", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023454150"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/174675.178068", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028239000"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/800017.800513", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035147762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/355598.362740", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035463867"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/800194.805852", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041462173"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/19.2.151", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046668990"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722010_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048205783", 
              "https://doi.org/10.1007/10722010_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722010_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048205783", 
              "https://doi.org/10.1007/10722010_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/367177.367199", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049543462"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0129054101000448", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062896350"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2000-11-24", 
        "datePublishedReg": "2000-11-24", 
        "description": "This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which conditions a combination can be realized by computer programs (robustness, safely combinable). We develop the underlying mathematical theory and examine the meaning of several non-standard interpreter towers. Our results suggest a technique for the implementation of a certain class of programming language dialects by composing a hierarchy of non-standard interpreters.", 
        "editor": [
          {
            "familyName": "Kapoor", 
            "givenName": "Sanjiv", 
            "type": "Person"
          }, 
          {
            "familyName": "Prasad", 
            "givenName": "Sanjiva", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-44450-5_16", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-41413-1", 
            "978-3-540-44450-3"
          ], 
          "name": "FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science", 
          "type": "Book"
        }, 
        "name": "Combining Semantics with Non-standard Interpreter Hierarchies", 
        "pagination": "201-213", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-44450-5_16"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "be94edca1e43d90c440cdf7d13a61ff81a16cb2287b10353c52fe7ee2c9118b6"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1040007835"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-44450-5_16", 
          "https://app.dimensions.ai/details/publication/pub.1040007835"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:24", 
        "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/0000000345_0000000345/records_64091_00000001.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F3-540-44450-5_16"
      }
    ]
     

    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-44450-5_16'

    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-44450-5_16'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-44450-5_16'

    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-44450-5_16'


     

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

    115 TRIPLES      23 PREDICATES      37 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-44450-5_16 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author N34eb53eed3454081b88e95e1118ff6e9
    4 schema:citation sg:pub.10.1007/10722010_13
    5 sg:pub.10.1007/bf01211087
    6 sg:pub.10.1007/bf01806112
    7 https://doi.org/10.1017/s0956796800001465
    8 https://doi.org/10.1093/comjnl/19.2.151
    9 https://doi.org/10.1142/s0129054101000448
    10 https://doi.org/10.1145/174675.178068
    11 https://doi.org/10.1145/355598.362740
    12 https://doi.org/10.1145/367177.367199
    13 https://doi.org/10.1145/800017.800513
    14 https://doi.org/10.1145/800194.805852
    15 schema:datePublished 2000-11-24
    16 schema:datePublishedReg 2000-11-24
    17 schema:description This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which conditions a combination can be realized by computer programs (robustness, safely combinable). We develop the underlying mathematical theory and examine the meaning of several non-standard interpreter towers. Our results suggest a technique for the implementation of a certain class of programming language dialects by composing a hierarchy of non-standard interpreters.
    18 schema:editor Ne5d29f502c2a4be19e542e101a3dcc3c
    19 schema:genre chapter
    20 schema:inLanguage en
    21 schema:isAccessibleForFree false
    22 schema:isPartOf N2f509d95ea91419c8d88e4084169846c
    23 schema:name Combining Semantics with Non-standard Interpreter Hierarchies
    24 schema:pagination 201-213
    25 schema:productId N51aab0b3b0ce4f6fa96c81504b78dd53
    26 N7c1852c2779b41f6a68a66653268532f
    27 Ne1ea68075cdd4d37bd214fc4ca6c52d5
    28 schema:publisher Nd087aee8aceb47e2860eafabc0142fd7
    29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040007835
    30 https://doi.org/10.1007/3-540-44450-5_16
    31 schema:sdDatePublished 2019-04-16T05:24
    32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    33 schema:sdPublisher N9ee91ddd09744a16a947bb06186353ed
    34 schema:url https://link.springer.com/10.1007%2F3-540-44450-5_16
    35 sgo:license sg:explorer/license/
    36 sgo:sdDataset chapters
    37 rdf:type schema:Chapter
    38 N25d4079441ae40e4a2d7dbdeb7b08d03 rdf:first N90e9a0e3da4e4d80bd7e2605ad80a99e
    39 rdf:rest rdf:nil
    40 N2f509d95ea91419c8d88e4084169846c schema:isbn 978-3-540-41413-1
    41 978-3-540-44450-3
    42 schema:name FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science
    43 rdf:type schema:Book
    44 N34eb53eed3454081b88e95e1118ff6e9 rdf:first sg:person.010307436465.27
    45 rdf:rest N5731701a1ca149d0a8cffec4582d1431
    46 N51aab0b3b0ce4f6fa96c81504b78dd53 schema:name doi
    47 schema:value 10.1007/3-540-44450-5_16
    48 rdf:type schema:PropertyValue
    49 N5731701a1ca149d0a8cffec4582d1431 rdf:first sg:person.010754010217.31
    50 rdf:rest rdf:nil
    51 N7c1852c2779b41f6a68a66653268532f schema:name readcube_id
    52 schema:value be94edca1e43d90c440cdf7d13a61ff81a16cb2287b10353c52fe7ee2c9118b6
    53 rdf:type schema:PropertyValue
    54 N89fb54b013524d88a98b41bccdd8ee2d schema:name PRESTO, JST, Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan
    55 rdf:type schema:Organization
    56 N90e9a0e3da4e4d80bd7e2605ad80a99e schema:familyName Prasad
    57 schema:givenName Sanjiva
    58 rdf:type schema:Person
    59 N9c9323b860ad46909f6a84183f68d0a7 schema:familyName Kapoor
    60 schema:givenName Sanjiv
    61 rdf:type schema:Person
    62 N9ee91ddd09744a16a947bb06186353ed schema:name Springer Nature - SN SciGraph project
    63 rdf:type schema:Organization
    64 Nd087aee8aceb47e2860eafabc0142fd7 schema:location Berlin, Heidelberg
    65 schema:name Springer Berlin Heidelberg
    66 rdf:type schema:Organisation
    67 Ne1ea68075cdd4d37bd214fc4ca6c52d5 schema:name dimensions_id
    68 schema:value pub.1040007835
    69 rdf:type schema:PropertyValue
    70 Ne5d29f502c2a4be19e542e101a3dcc3c rdf:first N9c9323b860ad46909f6a84183f68d0a7
    71 rdf:rest N25d4079441ae40e4a2d7dbdeb7b08d03
    72 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    73 schema:name Language, Communication and Culture
    74 rdf:type schema:DefinedTerm
    75 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    76 schema:name Linguistics
    77 rdf:type schema:DefinedTerm
    78 sg:person.010307436465.27 schema:affiliation https://www.grid.ac/institutes/grid.4886.2
    79 schema:familyName Abramov
    80 schema:givenName Sergei
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307436465.27
    82 rdf:type schema:Person
    83 sg:person.010754010217.31 schema:affiliation N89fb54b013524d88a98b41bccdd8ee2d
    84 schema:familyName Glück
    85 schema:givenName Robert
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    87 rdf:type schema:Person
    88 sg:pub.10.1007/10722010_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048205783
    89 https://doi.org/10.1007/10722010_13
    90 rdf:type schema:CreativeWork
    91 sg:pub.10.1007/bf01211087 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008568428
    92 https://doi.org/10.1007/bf01211087
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/bf01806112 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007570911
    95 https://doi.org/10.1007/bf01806112
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1017/s0956796800001465 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023454150
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1093/comjnl/19.2.151 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046668990
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1142/s0129054101000448 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062896350
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1145/174675.178068 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028239000
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1145/355598.362740 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035463867
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1145/367177.367199 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049543462
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1145/800017.800513 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035147762
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1145/800194.805852 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041462173
    112 rdf:type schema:CreativeWork
    113 https://www.grid.ac/institutes/grid.4886.2 schema:alternateName Russian Academy of Sciences
    114 schema:name Russian Academy of Sciences, Program Systems Institute, RU-152140, Pereslavl-Zalessky, Russia
    115 rdf:type schema:Organization
     




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


    ...