Parsing and Printing of and with Triples

We introduce the tool Amperspiegel, which uses triple graphs for parsing, printing and manipulating data. We show how to conveniently encode parsers, graph manipulation-rules, and printers using several relations. As such, parsers, rules and printers are all encoded as graphs themselves. This allows...

Full description

Saved in:
Bibliographic Details
Published inRelational and Algebraic Methods in Computer Science Vol. 10226; pp. 159 - 176
Main Author Joosten, Sebastiaan J. C.
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2017
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Constant Symbol
Context Free Grammar
Graph Transformation
Language Transformation
Relation Algebra
Online AccessGet full text
ISBN3319574175
9783319574172
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-57418-9_10

Cover

Abstract We introduce the tool Amperspiegel, which uses triple graphs for parsing, printing and manipulating data. We show how to conveniently encode parsers, graph manipulation-rules, and printers using several relations. As such, parsers, rules and printers are all encoded as graphs themselves. This allows us to parse, manipulate and print these parsers, rules and printers within the system. A parser for a context free grammar is graph-encoded with only four relations. The graph manipulation-rules turn out to be especially helpful when parsing. The printers strongly correspond to the parsers, being described using only five relations. The combination of parsers, rules and printers allows us to extract Ampersand source code from ArchiMate XML documents. Amperspiegel was originally developed to aid in the development of Ampersand.
AbstractList We introduce the tool Amperspiegel, which uses triple graphs for parsing, printing and manipulating data. We show how to conveniently encode parsers, graph manipulation-rules, and printers using several relations. As such, parsers, rules and printers are all encoded as graphs themselves. This allows us to parse, manipulate and print these parsers, rules and printers within the system. A parser for a context free grammar is graph-encoded with only four relations. The graph manipulation-rules turn out to be especially helpful when parsing. The printers strongly correspond to the parsers, being described using only five relations. The combination of parsers, rules and printers allows us to extract Ampersand source code from ArchiMate XML documents. Amperspiegel was originally developed to aid in the development of Ampersand.
Author Joosten, Sebastiaan J. C.
Author_xml – sequence: 1
  givenname: Sebastiaan J. C.
  surname: Joosten
  fullname: Joosten, Sebastiaan J. C.
  email: Sebastiaan.Joosten@uibk.ac.at
  organization: Computational Logic Group, UIBK Innsbruck, Innsbruck, Austria
BookMark eNqNkD1PwzAQhg0URFr6Dxg6shh8_vaIqvIhVaJDmS03sdtAlQQ7iL-P0wIz0-le-zndPWM0atrGI3QN5BYIUXdGacwwA4OF4qCxsUBO0DTHLIeHzJyiAiQAZoybMzT-fVBihArCCMVGcXaBCqMVaEEVXKJpSm-EENBgqBEFulm5mOpmO3NNNVvFuumHpg2H_qvud7N1rLu9T1foPLh98tOfOkGvD4v1_AkvXx6f5_dLvGVM9ngDUpVBUlVyTnzpNJdUKMdopTR1IXAduKmq_IGWGyiN106FAJRorUEzwyaIHuemLm-z9dFu2vY95evt4MVmAZbZfKk9OLCDlwzxI9TF9uPTp976gSp900e3L3eu631MVmYnUgoLABYU_BcTwmTL_A_7BuhNct0
ContentType Book Chapter
Copyright Springer International Publishing AG 2017
Copyright_xml – notice: Springer International Publishing AG 2017
DBID FFUUA
DEWEY 511.324
DOI 10.1007/978-3-319-57418-9_10
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
EISBN 9783319574189
3319574183
EISSN 1611-3349
Editor Pous, Damien
Struth, Georg
Höfner, Peter
Editor_xml – sequence: 1
  fullname: Höfner, Peter
– sequence: 2
  fullname: Pous, Damien
– sequence: 3
  fullname: Struth, Georg
EndPage 176
ExternalDocumentID EBC6302665_111_171
EBC5596114_111_171
GroupedDBID 0D6
0DA
38.
AABBV
AALVI
ABBVZ
ABHTH
ABQUB
ACDJR
ADCXD
AEDXK
AEJLV
AEKFX
AETDV
AEZAY
AGIGN
AGYGE
AIODD
ALBAV
ALMA_UNASSIGNED_HOLDINGS
AZZ
BATQV
BBABE
CVWCR
CZZ
FFUUA
I4C
IEZ
SBO
SWYDZ
TPJZQ
TSXQS
Z83
Z88
-DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-g336t-b167cf627c440eca846257a32d782aff48f49dd6272cb1c9e8a7ff12088818393
ISBN 3319574175
9783319574172
ISSN 0302-9743
IngestDate Tue Jul 29 20:12:53 EDT 2025
Thu May 29 01:06:20 EDT 2025
Thu May 29 00:28:21 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA8.9-QA10.3QA76.9.M
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-g336t-b167cf627c440eca846257a32d782aff48f49dd6272cb1c9e8a7ff12088818393
OCLC 987185271
PQID EBC5596114_111_171
PageCount 18
ParticipantIDs springer_books_10_1007_978_3_319_57418_9_10
proquest_ebookcentralchapters_6302665_111_171
proquest_ebookcentralchapters_5596114_111_171
PublicationCentury 2000
PublicationDate 2017
PublicationDateYYYYMMDD 2017-01-01
PublicationDate_xml – year: 2017
  text: 2017
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
PublicationTitle Relational and Algebraic Methods in Computer Science
PublicationYear 2017
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, United Kingdom
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: CNB H 104.2, ETH Zurich, Zürich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Madras, Indian Institute of Technology, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatics, Saarbrücken, Germany
SSID ssj0001819295
ssj0002792
Score 2.08943
Snippet We introduce the tool Amperspiegel, which uses triple graphs for parsing, printing and manipulating data. We show how to conveniently encode parsers, graph...
SourceID springer
proquest
SourceType Publisher
StartPage 159
SubjectTerms Constant Symbol
Context Free Grammar
Graph Transformation
Language Transformation
Relation Algebra
Title Parsing and Printing of and with Triples
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5596114&ppg=171
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6302665&ppg=171
http://link.springer.com/10.1007/978-3-319-57418-9_10
Volume 10226
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA66XtSLT3zTgwdBKqaPJD2usiriiodVvIVk2oggK7jrxV_vTNvYbVkQvZS2ZJfpTDqd-ZJvhrHjTNksk4UKlStEmEDBQ2syF8aQgpIWILfEHR7ei5vH5PY5fW56c5bskqk9g6-5vJL_WBXvoV2JJfsHy_78Kd7Ac7QvHtHCeOwEv22YtS4R--aBPAK_-28vtAb8CqfDsin0pOLzVT0b_Cs8O0EeTIUTVHSB17Hf_0zXJTo7-iAQvoULcNnBBTwu2EEWZ8Ct_nUrl4zxZUwxvpBt54jfeDHX1c7uriAmFP0Wfaeud6m2Klvzqs1Kp7L14OIS8xmBGRnlIZpTKYBFqdIeW-oPbu-eGqyMqrZlKVFzvJBpVTypEXqGFjlPplYC0VnzLkOJ0RpbJXpJQLwPlHKdLRTjDbYy_KmeO9lkJ7VpAjRF4E0TvLvymkwT1KbZYo9Xg9HlTVh3tAhf4lhMQ8uFBCciCUlyXoDB4A9dpomjHAM141yiXJLlOQ6IwHLICmWkczzCT4GiUDbeZr3x-7jYYUGEnheooc058ARUmmGcYawxkruI5xDtstA_sC7X3evNvlA93kR3VP_reBFjui7SZvyp16Km4RPtC2Cj-nWsUf26VL8m9e_9UZp9ttzM6QPWm358FocY_U3tUT05vgH7K1Px
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Relational+and+Algebraic+Methods+in+Computer+Science&rft.atitle=Parsing+and+Printing+of+and+with+Triples&rft.date=2017-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319574172&rft.volume=10226&rft_id=info:doi/10.1007%2F978-3-319-57418-9_10&rft.externalDBID=171&rft.externalDocID=EBC5596114_111_171
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5596114-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6302665-l.jpg