Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Abstract syntax
open-in-new
<h2 id="uses">Uses</h2> <p>To be implemented either for computation or communications, a mapping from the abstract syntax to specific machine representations and encodings must be defined; these may be called the "<a href="/facts/Concrete_syntax/FeBEtXcz">concrete syntax</a>" (in language implementation)<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> or the "transfer syntax" (in communications). </p><p>A <a href="/facts/Compiler/WNfCDFJe">compiler</a>'s internal representation of a program will typically be specified by an abstract syntax in terms of categories such as "statement", "expression" and "identifier". This is independent of the source syntax (concrete syntax) of the language being compiled (though it will often be very similar). A <a href="/facts/Parse_tree/FeBEtXcz">parse tree</a> is similar to an <a href="/facts/Abstract_syntax_tree/73AUK1jI">abstract syntax tree</a> but it will typically also contain features such as parentheses, which are syntactically significant but which are implicit in the structure of the abstract syntax tree. </p><p><a href="/facts/Algebraic_data_type/Fn9KhnAb">Algebraic data types</a> are particularly well-suited to the implementation of abstract syntax.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Higher-order_abstract_syntax/EuwfMWSK">Higher-order abstract syntax</a></li> <li><a href="/facts/Abstract_Syntax_Notation_One/ryUN7doc">Abstract Syntax Notation One</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Fiore, M.; Plotkin, G.; Turi, D. (1999). "Abstract syntax and variable binding". Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). pp. 193–202. doi:10.1109/LICS.1999.782615. ISBN 0-7695-0158-3. S2CID 7384052. Retrieved 2023-11-02. <a href="0-7695-0158-3" target="_blank">0-7695-0158-3</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"ASTLOG: A language for examining abstract syntax trees". DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997. USENIX Association. 15 October 1997. p. 18. <a href="https://dl.acm.org/doi/abs/10.5555/1267950.1267968" target="_blank">https://dl.acm.org/doi/abs/10.5555/1267950.1267968</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Pfenning, F.; Elliott, C. (1988-06-01). "Higher-order abstract syntax". ACM SIGPLAN Notices. 23 (7): 199–208. doi:10.1145/960116.54010. ISSN 0362-1340. <a href="/wiki/Frank_Pfenning" target="_blank">/wiki/Frank_Pfenning</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Wile, David S. (1997). "Abstract syntax from concrete syntax". Proceedings of the 19th international conference on Software engineering - ICSE '97. ACM Press. pp. 472–480. doi:10.1145/253228.253388. ISBN 978-0-89791-914-2. S2CID 14351497. <a href="978-0-89791-914-2" target="_blank">978-0-89791-914-2</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Corradini, Andrea; Gadducci, Fabio (2002-09-17). "A functorial semantics for multi-algebras and partial algebras, with applications to syntax". Theoretical Computer Science. 286 (2): 293–322. doi:10.1016/S0304-3975(01)00319-X. ISSN 0304-3975. <a href="https://doi.org/10.1016%2FS0304-3975%2801%2900319-X" target="_blank">https://doi.org/10.1016%2FS0304-3975%2801%2900319-X</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> </ol>