2026-07-22T12:57:16Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10552 2024-03-06T10:46:47Z ddc:004 open_access

The Next 700 Semantics: A Research Challenge Krishnamurthi, Shriram Lerner, Benjamin S. Elberty, Liam Programming languages desugaring semantics testing 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Shriram Krishnamurthi and Benjamin S. Lerner and Liam Elberty 2019 Is Part Of LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2019.9 urn:nbn:de:0030-drops-105522 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.9 eng https://creativecommons.org/licenses/by/3.0/legalcode