License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2019.9
URN: urn:nbn:de:0030-drops-105522
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10552/
Krishnamurthi, Shriram ;
Lerner, Benjamin S. ;
Elberty, Liam
The Next 700 Semantics: A Research Challenge
Abstract
Modern systems consist of large numbers of languages, frameworks, libraries, APIs, and more. Each has characteristic behavior and data. Capturing these in semantics is valuable not only for understanding them but also essential for formal treatment (such as proofs). Unfortunately, most of these systems are defined primarily through implementations, which means the semantics needs to be learned. We describe the problem of learning a semantics, provide a structuring process that is of potential value, and also outline our failed attempts at achieving this so far.
BibTeX - Entry
@InProceedings{krishnamurthi_et_al:LIPIcs.SNAPL.2019.9,
author = {Krishnamurthi, Shriram and Lerner, Benjamin S. and Elberty, Liam},
title = {{The Next 700 Semantics: A Research Challenge}},
booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)},
pages = {9:1--9:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-113-9},
ISSN = {1868-8969},
year = {2019},
volume = {136},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2019/10552},
URN = {urn:nbn:de:0030-drops-105522},
doi = {10.4230/LIPIcs.SNAPL.2019.9},
annote = {Keywords: Programming languages, desugaring, semantics, testing}
}
|
Keywords: |
|
Programming languages, desugaring, semantics, testing |
|
Collection: |
|
3rd Summit on Advances in Programming Languages (SNAPL 2019) |
|
Issue Date: |
|
2019 |
|
Date of publication: |
|
11.07.2019 |
