Document Open Access Logo

The Next 700 Semantics: A Research Challenge

Authors Shriram Krishnamurthi , Benjamin S. Lerner, Liam Elberty

Thumbnail PDF


  • Filesize: 478 kB
  • 14 pages

Document Identifiers

Author Details

Shriram Krishnamurthi
  • Brown University, Providence, RI, USA
Benjamin S. Lerner
  • Northeastern University, Boston, MA, USA
Liam Elberty
  • Unaffiliated


The authors thank Eugene Charniak and Kevin Knight for useful conversations. The reviewers provided useful feedback that improved the presentation.

Cite AsGet BibTex

Shriram Krishnamurthi, Benjamin S. Lerner, and Liam Elberty. The Next 700 Semantics: A Research Challenge. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 9:1-9:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)


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.

Subject Classification

ACM Subject Classification
  • Software and its engineering → General programming languages
  • Software and its engineering → Language features
  • Software and its engineering → Semantics
  • Software and its engineering → Formal language definitions
  • Programming languages
  • desugaring
  • semantics
  • testing


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail