Multi-purpose Syntax Definition with SDF3

Luis de Souza Amorim; Eelco Visser

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

Multi-purpose Syntax Definition with SDF3

Luis de Souza Amorim, Eelco Visser

Programming Languages

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

15 Citations (Scopus)

91 Downloads (Pure)

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
Subtitle of host publication	18th International Conference, SEFM 2020, Proceedings
Editors	Frank de Boer, Antonio Cerone
Place of Publication	Cham
Publisher	Springer
Pages	1-23
Number of pages	23
Volume	12310
ISBN (Electronic)	978-3-030-58768-0
ISBN (Print)	978-3-030-58767-3
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)
Publisher	Springer
Volume	12310
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

Keywords

Parsing
Programming language
Syntax definition

Access to Document

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

SouzaAmorim-Visser2020_Chapter_Multi-purposeSyntaxDefinitionWFinal published version, 0.98 MBLicence: CC BY

Cite this

de Souza Amorim, L., & 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 (Vol. 12310, pp. 1-23). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12310 ). Springer. https://doi.org/10.1007/978-3-030-58768-0_1

de Souza Amorim, Luis ; 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. Vol. 12310 Cham : Springer, 2020. pp. 1-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9ca9558acf084f468d2b634d15c98a31,

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}, Luis and Eelco Visser",

year = "2020",

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

language = "English",

isbn = "978-3-030-58767-3",

volume = "12310",

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

publisher = "Springer",

pages = "1--23",

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

booktitle = "Software Engineering and Formal Methods",

note = "18th International Conference on Software Engineering and Formal Methods, SEFM 2020 ; Conference date: 14-09-2020 Through 18-09-2020",

}

de Souza Amorim, L & 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. vol. 12310, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12310 , Springer, Cham, 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, Luis; Visser, Eelco.
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Proceedings. ed. / Frank de Boer; Antonio Cerone. Vol. 12310 Cham: Springer, 2020. p. 1-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12310 ).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Multi-purpose Syntax Definition with SDF3

AU - de Souza Amorim, Luis

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 - 978-3-030-58767-3

VL - 12310

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

A2 - de Boer, Frank

A2 - Cerone, Antonio

PB - Springer

CY - Cham

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

Y2 - 14 September 2020 through 18 September 2020

ER -

de Souza Amorim L, 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. Vol. 12310. Cham: Springer. 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

Keywords

Access to Document

Other files and links

Fingerprint

Cite this