An Equational Specification for the Scheme Language
| dc.creator | Amorim,Marcelo | |
| dc.creator | Rosu,Grigore | |
| dc.date | 2005 | |
| dc.date.accessioned | 2024-02-06T12:53:47Z | |
| dc.date.available | 2024-02-06T12:53:47Z | |
| dc.description | This work describes the formal semantics of Scheme 3 as an equational theory in the Maude rewriting system. The semantics is based on continuations and is highly modular. We briefly investigate the relationship between our methodology for defining programming languages and other semantic formalisms. We conclude by showing some performance results of the interpreter obtained for free from the executable specification. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-011-07-1327 | |
| dc.identifier | https://lib.jucs.org/article/28450/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8814 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 11(7): 1327-1348 | |
| dc.subject | formal and executable semantics | |
| dc.subject | equational specification | |
| dc.subject | program analysis | |
| dc.title | An Equational Specification for the Scheme Language | |
| dc.type | Research Article |