Conference Paper/Proceeding/Abstract 194 views 90 downloads
One Step at a Time
Ferdinand Vesely,
Kathleen Fisher
Programming Languages and Systems, Volume: 11423, Pages: 205 - 231
Swansea University Author: Ferdinand Vesely
-
PDF | Version of Record
Released under the terms of a Creative Commons Attribution 4.0 International License (CC-BY).
Download (572.82KB)
DOI (Published version): 10.1007/978-3-030-17184-1_8
Abstract
One Step at a Time
| Published in: | Programming Languages and Systems |
|---|---|
| ISBN: | 978-3-030-17183-4 978-3-030-17184-1 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer International Publishing
2019
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa50092 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
Structural operational semantics, Big-step semantics, Small-step semantics, Interpreters, Transformation, Continuation-passing style, Functional programming |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
205 |
| End Page: |
231 |