skip to main content
abstract

Pragmatics for formal semantics

Published:22 October 2011Publication History
Skip Abstract Section

Abstract

This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal semantics from another.

References

  1. Olivier Danvy, Jacob Johannsen, and Ian Zerny. A walk in the semantic park. In Siau-Cheng Khoo and Jeremy Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011), pages 1--12, Austin, Texas, January 2011. ACM Press. Invited talk. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Pragmatics for formal semantics

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 47, Issue 3
            GCPE '11
            March 2012
            179 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/2189751
            Issue’s Table of Contents
            • cover image ACM Conferences
              GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineering
              October 2011
              194 pages
              ISBN:9781450306898
              DOI:10.1145/2047862

            Copyright © 2011 Author

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 22 October 2011

            Check for updates

            Qualifiers

            • abstract
          • Article Metrics

            • Downloads (Last 12 months)1
            • Downloads (Last 6 weeks)0

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!