Structuring Operational Semantics: Simplification and Computation
| Autor: | Eugenio Moggi |
|---|---|
| Rok vydání: | 2007 |
| Předmět: |
Multiset Rewriting
Theoretical computer science General Computer Science Computer science Semantics (computer science) Programming language Computation Operational Semantics Metalanguage computer.software_genre Operational semantics Theoretical Computer Science Action semantics Denotational semantics TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Well-founded semantics TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Confluent Rewriting Rewriting computer Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 172:479-497 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2007.02.016 |
| Popis: | The paper describes a language consisting of two layers, terms and computation rules, whose operational semantics is given in terms of two relations: simplification and computation. Simplification is induced by confluent rewriting on terms. Computation is induced by chemical reactions, like those in the Join-calculus. The language can serve as metalanguage for defining the operational semantics of other languages. This is demonstrated by defining encodings of several calculi (representing idealized programming languages). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect