section

Session details: Programming languages and programming

Session Chair:
Shane Markstrum

Google

Google
View Profile

Authors Info & Claims

PLATEAU '11: Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and toolsOctober 2011https://doi.org/10.1145/3256288

Published:24 October 2011Publication History

Check for updates on crossmark

PLATEAU '11: Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools

ABSTRACT

No abstract available.

Session details: Programming languages and programming

Recommendations

SEMANOL (73) a metalanguage for programming the semantics of programming languages

SEMANOL is a practical programming system for writing readable formal specifications of the syntax and semantics of programming languages. SEMANOL is based on a theory of semantics which embraces algorithmic (operational) and extensional (input/output) ...
Read More
Defunctionalized interpreters for programming languages
ICFP '08

This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each ...
Read More
Defunctionalized interpreters for programming languages
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each ...
Read More

Comments

Login options

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

Full Access

Get this Publication

Published in
PLATEAU '11: Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools
October 2011
90 pages
ISBN:9781450310246
DOI:10.1145/2089155
Program Chairs:
Craig Anslow
Victoria University of Wellington, New Zealand
,
Shane Markstrum
Google, USA
,
Emerson Murphy-Hill
North Carolina State University
Copyright © 2011 ACM
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 24 October 2011
Permissions
Request permissions about this article.
Request Permissions

Check for updates
Qualifiers
- section
Conference

Acceptance Rates
Overall Acceptance Rate5of8submissions,63%
Upcoming Conference
SPLASH '24

Sponsor:

sigplan

ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

October 20 - 25, 2024

Pasadena , CA , USA
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 0
  Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

View Table of Contents