Multi-purpose Syntax Definition with SDF3

Luís Eduardo de Souza Amorim; Eelco Visser

doi:10.1007/978-3-030-58768-0_1

Multi-purpose Syntax Definition with SDF3

Luís Eduardo de Souza Amorim, Eelco Visser^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Citations (Scopus)

Abstract

SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.

Original language	English
Title of host publication	Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings
Editors	Frank de Boer, Antonio Cerone
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	1-23
Number of pages	23
ISBN (Print)	9783030587673
DOIs	https://doi.org/10.1007/978-3-030-58768-0_1
Publication status	Published - 2020
Event	18th International Conference on Software Engineering and Formal Methods, SEFM 2020 - Amsterdam, Netherlands Duration: 14 Sept 2020 → 18 Sept 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12310 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Conference on Software Engineering and Formal Methods, SEFM 2020
Country/Territory	Netherlands
City	Amsterdam
Period	14/09/20 → 18/09/20

Access to Document

10.1007/978-3-030-58768-0_1

Cite this

de Souza Amorim, L. E., & Visser, E. (2020). Multi-purpose Syntax Definition with SDF3. In F. de Boer, & A. Cerone (Eds.), Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings (pp. 1-23). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12310 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-58768-0_1

de Souza Amorim, Luís Eduardo ; Visser, Eelco. / Multi-purpose Syntax Definition with SDF3. Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings. editor / Frank de Boer ; Antonio Cerone. Springer Science and Business Media Deutschland GmbH, 2020. pp. 1-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4dd9df66824a481e92d1ef0a5112b1e8,

title = "Multi-purpose Syntax Definition with SDF3",

abstract = "SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.",

keywords = "Parsing, Programming language, Syntax definition",

author = "{de Souza Amorim}, {Lu{\'i}s Eduardo} and Eelco Visser",

note = "Publisher Copyright: {\textcopyright} 2020, The Author(s).; 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 ; Conference date: 14-09-2020 Through 18-09-2020",

year = "2020",

doi = "10.1007/978-3-030-58768-0_1",

language = "English",

isbn = "9783030587673",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "1--23",

editor = "{de Boer}, Frank and Antonio Cerone",

booktitle = "Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings",

address = "Germany",

}

de Souza Amorim, LE & Visser, E 2020, Multi-purpose Syntax Definition with SDF3. in F de Boer & A Cerone (eds), Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12310 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 1-23, 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, Amsterdam, Netherlands, 14/09/20. https://doi.org/10.1007/978-3-030-58768-0_1

Multi-purpose Syntax Definition with SDF3. / de Souza Amorim, Luís Eduardo; Visser, Eelco.
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings. ed. / Frank de Boer; Antonio Cerone. Springer Science and Business Media Deutschland GmbH, 2020. p. 1-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12310 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Multi-purpose Syntax Definition with SDF3

AU - de Souza Amorim, Luís Eduardo

AU - Visser, Eelco

PY - 2020

Y1 - 2020

N2 - SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.

AB - SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.

KW - Parsing

KW - Programming language

KW - Syntax definition

UR - http://www.scopus.com/inward/record.url?scp=85091594415&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-58768-0_1

DO - 10.1007/978-3-030-58768-0_1

M3 - Conference contribution

AN - SCOPUS:85091594415

SN - 9783030587673

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 23

BT - Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings

A2 - de Boer, Frank

A2 - Cerone, Antonio

PB - Springer Science and Business Media Deutschland GmbH

T2 - 18th International Conference on Software Engineering and Formal Methods, SEFM 2020

Y2 - 14 September 2020 through 18 September 2020

ER -

de Souza Amorim LE, Visser E. Multi-purpose Syntax Definition with SDF3. In de Boer F, Cerone A, editors, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings. Springer Science and Business Media Deutschland GmbH. 2020. p. 1-23. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-58768-0_1

Multi-purpose Syntax Definition with SDF3

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this