Comment on “on the application of a popular notation to semantics” and reply from the author
Pages 35 - 36
Abstract
No abstract available.
Index Terms
- Comment on “on the application of a popular notation to semantics” and reply from the author
Recommendations
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410Big-step semantics for languages with abrupt termination and/or divergence suffer from a serious duplication problem, addressed by the novel 'pretty-big-step' style presented by Charguéraud at ESOP'13. Such rules are less concise than corresponding ...
Comments
Information & Contributors
Information
Published In
Dec. 1999
63 pages
Copyright © 1999 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 1999
Published in SIGPLAN Volume 34, Issue 12
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 122Total Downloads
- Downloads (Last 12 months)39
- Downloads (Last 6 weeks)5
Reflects downloads up to 26 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in