FliPpr: A System for Deriving Parsers from Pretty-Printers View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-07

AUTHORS

Kazutaka Matsuda, Meng Wang

ABSTRACT

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations. More... »

PAGES

173-202

References to SciGraph publications

  • 2008. Parser Combinators for Ambiguous Left-Recursive Grammars in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2010. A Grammar-Based Approach to Invertible Programs in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2004. Derivation of Deterministic Inverse Programs Based on LR Parsing in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2014. Parsing in a Broad Sense in MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS
  • 2002-03. Program transformation system based on generalized partial computation in NEW GENERATION COMPUTING
  • 2012-03. Polynomial-time inverse computation for accumulative functions with multiple data traversals in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 1968-06. Semantics of context-free languages in MATHEMATICAL SYSTEMS THEORY
  • 1998. Syntax-Directed Semantics, Formal Models Based on Tree Transducers in NONE
  • 2001. Relating Accumulative and Non-accumulative Functional Programs in REWRITING TECHNIQUES AND APPLICATIONS
  • 1995. The design of a pretty-printing library in ADVANCED FUNCTIONAL PROGRAMMING
  • 2004. Elkhound: A Fast, Practical GLR Parser Generator in COMPILER CONSTRUCTION
  • 1988. Attribute Grammar Inversion and Source-to-source Translation in NONE
  • 2013. FliPpr: A Prettier Invertible Printing System in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2003. A prettier printer in THE FUN OF PROGRAMMING
  • 2018. HOBiT: Programming Lenses Without Using Lens Combinators in PROGRAMMING LANGUAGES AND SYSTEMS
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00354-018-0033-7

    DOI

    http://dx.doi.org/10.1007/s00354-018-0033-7

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Tohoku University", 
              "id": "https://www.grid.ac/institutes/grid.69566.3a", 
              "name": [
                "Tohoku University, 6-3-09, Aza Aoba, Aramaki, Aoba-ku, 980-8579, Sendai, Miyagi, Japan"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Matsuda", 
            "givenName": "Kazutaka", 
            "id": "sg:person.012561040621.36", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012561040621.36"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Bristol", 
              "id": "https://www.grid.ac/institutes/grid.5337.2", 
              "name": [
                "University of Bristol, Merchant Venturers Building, Woodland Road, BS8 1UB, Bristol, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wang", 
            "givenName": "Meng", 
            "id": "sg:person.015451472133.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015451472133.42"
            ], 
            "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/s10990-013-9097-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003028531", 
              "https://doi.org/10.1007/s10990-013-9097-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10990-013-9097-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003028531", 
              "https://doi.org/10.1007/s10990-013-9097-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(01)00020-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006938930"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(96)00074-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007209752"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.is.2008.01.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009379083"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2034773.2034801", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009879586"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-59451-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010435085", 
              "https://doi.org/10.1007/3-540-59451-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1411204.1411257", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011840902"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(85)90066-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012161455"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(91)90299-h", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012630910"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/347476.347484", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013013755"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-11653-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013083745", 
              "https://doi.org/10.1007/978-3-319-11653-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1013725897", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-72248-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013725897", 
              "https://doi.org/10.1007/978-3-642-72248-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-72248-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013725897", 
              "https://doi.org/10.1007/978-3-642-72248-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24754-8_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015138027", 
              "https://doi.org/10.1007/978-3-540-24754-8_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24754-8_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015138027", 
              "https://doi.org/10.1007/978-3-540-24754-8_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2010.08.041", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015434097"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45127-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019075739", 
              "https://doi.org/10.1007/3-540-45127-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(90)90147-a", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019824477"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-37036-6_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022609314", 
              "https://doi.org/10.1007/978-3-642-37036-6_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/35.5.514", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022785053"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1706299.1706355", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023022652"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-77442-6_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027400741", 
              "https://doi.org/10.1007/978-3-540-77442-6_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-77442-6_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027400741", 
              "https://doi.org/10.1007/978-3-540-77442-6_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2502409.2502410", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028692224"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(79)90561-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029112792"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1863523.1863525", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030545021"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24723-4_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034257028", 
              "https://doi.org/10.1007/978-3-540-24723-4_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24723-4_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034257028", 
              "https://doi.org/10.1007/978-3-540-24723-4_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(91)90374-b", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036955638"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-11957-6_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039037792", 
              "https://doi.org/10.1007/978-3-642-11957-6_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-11957-6_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039037792", 
              "https://doi.org/10.1007/978-3-642-11957-6_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2034675.2034689", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040388352"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796800002008", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042426034"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796800000058", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043456960"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2103746.2103752", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044258528"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796808006990", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045467525"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796808006990", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045467525"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2594291.2594319", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045533289"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1232420.1232424", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047098083"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2847538.2847544", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047696940"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2430532.2364515", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050573844"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2997364.2997369", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050682692"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1594834.1480916", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063156585"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2666356.2594319", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063164161"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-349-91518-7_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1087033550", 
              "https://doi.org/10.1007/978-1-349-91518-7_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3062341.3062345", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1090574175"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2364506.2364515", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098907104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3115/981175.981190", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1099166582"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3115/981175.981190", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1099166582"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-89884-1_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1103261422", 
              "https://doi.org/10.1007/978-3-319-89884-1_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-19072-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702354", 
              "https://doi.org/10.1007/3-540-19072-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-19072-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702354", 
              "https://doi.org/10.1007/3-540-19072-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-19072-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702354", 
              "https://doi.org/10.1007/3-540-19072-4"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-07", 
        "datePublishedReg": "2018-07-01", 
        "description": "When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00354-018-0033-7", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.5850528", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.5876363", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.6103422", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1053619", 
            "issn": [
              "0288-3635", 
              "1882-7055"
            ], 
            "name": "New Generation Computing", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "36"
          }
        ], 
        "name": "FliPpr: A System for Deriving Parsers from Pretty-Printers", 
        "pagination": "173-202", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "44d501a35627db381011ec5172e46c30fc0402a27cf79266cf2cf10c825514d6"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00354-018-0033-7"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1106360529"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00354-018-0033-7", 
          "https://app.dimensions.ai/details/publication/pub.1106360529"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T09:56", 
        "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/0000000347_0000000347/records_89804_00000003.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00354-018-0033-7"
      }
    ]
     

    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/s00354-018-0033-7'

    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/s00354-018-0033-7'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00354-018-0033-7'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00354-018-0033-7'


     

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

    232 TRIPLES      21 PREDICATES      74 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00354-018-0033-7 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N56924506ca724a8ea8ce60a9b60fc1c6
    4 schema:citation sg:pub.10.1007/3-540-19072-4
    5 sg:pub.10.1007/3-540-45127-7_13
    6 sg:pub.10.1007/3-540-59451-5_3
    7 sg:pub.10.1007/978-1-349-91518-7_11
    8 sg:pub.10.1007/978-3-319-11653-2_4
    9 sg:pub.10.1007/978-3-319-89884-1_2
    10 sg:pub.10.1007/978-3-540-24723-4_6
    11 sg:pub.10.1007/978-3-540-24754-8_21
    12 sg:pub.10.1007/978-3-540-77442-6_12
    13 sg:pub.10.1007/978-3-642-11957-6_24
    14 sg:pub.10.1007/978-3-642-37036-6_6
    15 sg:pub.10.1007/978-3-642-72248-6
    16 sg:pub.10.1007/bf01692511
    17 sg:pub.10.1007/bf03037260
    18 sg:pub.10.1007/s10990-013-9097-8
    19 https://app.dimensions.ai/details/publication/pub.1013725897
    20 https://doi.org/10.1016/0022-0000(85)90066-2
    21 https://doi.org/10.1016/0304-3975(90)90147-a
    22 https://doi.org/10.1016/0304-3975(91)90299-h
    23 https://doi.org/10.1016/0304-3975(91)90374-b
    24 https://doi.org/10.1016/0304-3975(96)00074-6
    25 https://doi.org/10.1016/j.entcs.2010.08.041
    26 https://doi.org/10.1016/j.is.2008.01.006
    27 https://doi.org/10.1016/s0019-9958(79)90561-8
    28 https://doi.org/10.1016/s0167-6423(01)00020-x
    29 https://doi.org/10.1017/s0956796800000058
    30 https://doi.org/10.1017/s0956796800002008
    31 https://doi.org/10.1017/s0956796808006990
    32 https://doi.org/10.1093/comjnl/35.5.514
    33 https://doi.org/10.1145/1232420.1232424
    34 https://doi.org/10.1145/1411204.1411257
    35 https://doi.org/10.1145/1594834.1480916
    36 https://doi.org/10.1145/1706299.1706355
    37 https://doi.org/10.1145/1863523.1863525
    38 https://doi.org/10.1145/2034675.2034689
    39 https://doi.org/10.1145/2034773.2034801
    40 https://doi.org/10.1145/2103746.2103752
    41 https://doi.org/10.1145/2364506.2364515
    42 https://doi.org/10.1145/2430532.2364515
    43 https://doi.org/10.1145/2502409.2502410
    44 https://doi.org/10.1145/2594291.2594319
    45 https://doi.org/10.1145/2666356.2594319
    46 https://doi.org/10.1145/2847538.2847544
    47 https://doi.org/10.1145/2997364.2997369
    48 https://doi.org/10.1145/3062341.3062345
    49 https://doi.org/10.1145/347476.347484
    50 https://doi.org/10.3115/981175.981190
    51 schema:datePublished 2018-07
    52 schema:datePublishedReg 2018-07-01
    53 schema:description When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.
    54 schema:genre research_article
    55 schema:inLanguage en
    56 schema:isAccessibleForFree false
    57 schema:isPartOf N3c33c3fceaeb439fa07a8d801409aef9
    58 Nf290a954c8cb4cc48901dab444d12bf3
    59 sg:journal.1053619
    60 schema:name FliPpr: A System for Deriving Parsers from Pretty-Printers
    61 schema:pagination 173-202
    62 schema:productId N4c32247140644f398b2717ea8deeb064
    63 N8d34ba431a1d4d37a04bfe6b5c0a5724
    64 Nf1df1544651342f39da658efcf9687f7
    65 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106360529
    66 https://doi.org/10.1007/s00354-018-0033-7
    67 schema:sdDatePublished 2019-04-11T09:56
    68 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    69 schema:sdPublisher N8d90e8f9b2ab47ffac9f05f07c8e7ddd
    70 schema:url https://link.springer.com/10.1007%2Fs00354-018-0033-7
    71 sgo:license sg:explorer/license/
    72 sgo:sdDataset articles
    73 rdf:type schema:ScholarlyArticle
    74 N16a0800a142d4401b4df68466e7c21eb rdf:first sg:person.015451472133.42
    75 rdf:rest rdf:nil
    76 N3c33c3fceaeb439fa07a8d801409aef9 schema:issueNumber 3
    77 rdf:type schema:PublicationIssue
    78 N4c32247140644f398b2717ea8deeb064 schema:name readcube_id
    79 schema:value 44d501a35627db381011ec5172e46c30fc0402a27cf79266cf2cf10c825514d6
    80 rdf:type schema:PropertyValue
    81 N56924506ca724a8ea8ce60a9b60fc1c6 rdf:first sg:person.012561040621.36
    82 rdf:rest N16a0800a142d4401b4df68466e7c21eb
    83 N8d34ba431a1d4d37a04bfe6b5c0a5724 schema:name doi
    84 schema:value 10.1007/s00354-018-0033-7
    85 rdf:type schema:PropertyValue
    86 N8d90e8f9b2ab47ffac9f05f07c8e7ddd schema:name Springer Nature - SN SciGraph project
    87 rdf:type schema:Organization
    88 Nf1df1544651342f39da658efcf9687f7 schema:name dimensions_id
    89 schema:value pub.1106360529
    90 rdf:type schema:PropertyValue
    91 Nf290a954c8cb4cc48901dab444d12bf3 schema:volumeNumber 36
    92 rdf:type schema:PublicationVolume
    93 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    94 schema:name Information and Computing Sciences
    95 rdf:type schema:DefinedTerm
    96 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    97 schema:name Computer Software
    98 rdf:type schema:DefinedTerm
    99 sg:grant.5850528 http://pending.schema.org/fundedItem sg:pub.10.1007/s00354-018-0033-7
    100 rdf:type schema:MonetaryGrant
    101 sg:grant.5876363 http://pending.schema.org/fundedItem sg:pub.10.1007/s00354-018-0033-7
    102 rdf:type schema:MonetaryGrant
    103 sg:grant.6103422 http://pending.schema.org/fundedItem sg:pub.10.1007/s00354-018-0033-7
    104 rdf:type schema:MonetaryGrant
    105 sg:journal.1053619 schema:issn 0288-3635
    106 1882-7055
    107 schema:name New Generation Computing
    108 rdf:type schema:Periodical
    109 sg:person.012561040621.36 schema:affiliation https://www.grid.ac/institutes/grid.69566.3a
    110 schema:familyName Matsuda
    111 schema:givenName Kazutaka
    112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012561040621.36
    113 rdf:type schema:Person
    114 sg:person.015451472133.42 schema:affiliation https://www.grid.ac/institutes/grid.5337.2
    115 schema:familyName Wang
    116 schema:givenName Meng
    117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015451472133.42
    118 rdf:type schema:Person
    119 sg:pub.10.1007/3-540-19072-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702354
    120 https://doi.org/10.1007/3-540-19072-4
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/3-540-45127-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019075739
    123 https://doi.org/10.1007/3-540-45127-7_13
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/3-540-59451-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010435085
    126 https://doi.org/10.1007/3-540-59451-5_3
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/978-1-349-91518-7_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1087033550
    129 https://doi.org/10.1007/978-1-349-91518-7_11
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/978-3-319-11653-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013083745
    132 https://doi.org/10.1007/978-3-319-11653-2_4
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/978-3-319-89884-1_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1103261422
    135 https://doi.org/10.1007/978-3-319-89884-1_2
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/978-3-540-24723-4_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034257028
    138 https://doi.org/10.1007/978-3-540-24723-4_6
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/978-3-540-24754-8_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015138027
    141 https://doi.org/10.1007/978-3-540-24754-8_21
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/978-3-540-77442-6_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027400741
    144 https://doi.org/10.1007/978-3-540-77442-6_12
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/978-3-642-11957-6_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039037792
    147 https://doi.org/10.1007/978-3-642-11957-6_24
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/978-3-642-37036-6_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022609314
    150 https://doi.org/10.1007/978-3-642-37036-6_6
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/978-3-642-72248-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013725897
    153 https://doi.org/10.1007/978-3-642-72248-6
    154 rdf:type schema:CreativeWork
    155 sg:pub.10.1007/bf01692511 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025480202
    156 https://doi.org/10.1007/bf01692511
    157 rdf:type schema:CreativeWork
    158 sg:pub.10.1007/bf03037260 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000035698
    159 https://doi.org/10.1007/bf03037260
    160 rdf:type schema:CreativeWork
    161 sg:pub.10.1007/s10990-013-9097-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003028531
    162 https://doi.org/10.1007/s10990-013-9097-8
    163 rdf:type schema:CreativeWork
    164 https://app.dimensions.ai/details/publication/pub.1013725897 schema:CreativeWork
    165 https://doi.org/10.1016/0022-0000(85)90066-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012161455
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1016/0304-3975(90)90147-a schema:sameAs https://app.dimensions.ai/details/publication/pub.1019824477
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1016/0304-3975(91)90299-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1012630910
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1016/0304-3975(91)90374-b schema:sameAs https://app.dimensions.ai/details/publication/pub.1036955638
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1016/0304-3975(96)00074-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007209752
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.1016/j.entcs.2010.08.041 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015434097
    176 rdf:type schema:CreativeWork
    177 https://doi.org/10.1016/j.is.2008.01.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009379083
    178 rdf:type schema:CreativeWork
    179 https://doi.org/10.1016/s0019-9958(79)90561-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029112792
    180 rdf:type schema:CreativeWork
    181 https://doi.org/10.1016/s0167-6423(01)00020-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1006938930
    182 rdf:type schema:CreativeWork
    183 https://doi.org/10.1017/s0956796800000058 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043456960
    184 rdf:type schema:CreativeWork
    185 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
    186 rdf:type schema:CreativeWork
    187 https://doi.org/10.1017/s0956796808006990 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045467525
    188 rdf:type schema:CreativeWork
    189 https://doi.org/10.1093/comjnl/35.5.514 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022785053
    190 rdf:type schema:CreativeWork
    191 https://doi.org/10.1145/1232420.1232424 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047098083
    192 rdf:type schema:CreativeWork
    193 https://doi.org/10.1145/1411204.1411257 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011840902
    194 rdf:type schema:CreativeWork
    195 https://doi.org/10.1145/1594834.1480916 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063156585
    196 rdf:type schema:CreativeWork
    197 https://doi.org/10.1145/1706299.1706355 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023022652
    198 rdf:type schema:CreativeWork
    199 https://doi.org/10.1145/1863523.1863525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030545021
    200 rdf:type schema:CreativeWork
    201 https://doi.org/10.1145/2034675.2034689 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040388352
    202 rdf:type schema:CreativeWork
    203 https://doi.org/10.1145/2034773.2034801 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009879586
    204 rdf:type schema:CreativeWork
    205 https://doi.org/10.1145/2103746.2103752 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044258528
    206 rdf:type schema:CreativeWork
    207 https://doi.org/10.1145/2364506.2364515 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098907104
    208 rdf:type schema:CreativeWork
    209 https://doi.org/10.1145/2430532.2364515 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050573844
    210 rdf:type schema:CreativeWork
    211 https://doi.org/10.1145/2502409.2502410 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028692224
    212 rdf:type schema:CreativeWork
    213 https://doi.org/10.1145/2594291.2594319 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045533289
    214 rdf:type schema:CreativeWork
    215 https://doi.org/10.1145/2666356.2594319 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063164161
    216 rdf:type schema:CreativeWork
    217 https://doi.org/10.1145/2847538.2847544 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047696940
    218 rdf:type schema:CreativeWork
    219 https://doi.org/10.1145/2997364.2997369 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050682692
    220 rdf:type schema:CreativeWork
    221 https://doi.org/10.1145/3062341.3062345 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090574175
    222 rdf:type schema:CreativeWork
    223 https://doi.org/10.1145/347476.347484 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013013755
    224 rdf:type schema:CreativeWork
    225 https://doi.org/10.3115/981175.981190 schema:sameAs https://app.dimensions.ai/details/publication/pub.1099166582
    226 rdf:type schema:CreativeWork
    227 https://www.grid.ac/institutes/grid.5337.2 schema:alternateName University of Bristol
    228 schema:name University of Bristol, Merchant Venturers Building, Woodland Road, BS8 1UB, Bristol, UK
    229 rdf:type schema:Organization
    230 https://www.grid.ac/institutes/grid.69566.3a schema:alternateName Tohoku University
    231 schema:name Tohoku University, 6-3-09, Aza Aoba, Aramaki, Aoba-ku, 980-8579, Sendai, Miyagi, Japan
    232 rdf:type schema:Organization
     




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


    ...