Structural Operational Semantics with transitivity rules and execution time
We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual complexity theory) and transitivity rules that allo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2009-08-01
|
| Series: | CLEI Electronic Journal |
| Online Access: | http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/236 |
| Summary: | We de¯ne an structural operational semantics of the core of an imperative
language. It has a measure in the transitions corresponding to the number of
steps of evaluation that takes place in the transition (from the point of view
of usual complexity theory) and transitivity rules that allow to prove in the
theory what is usually proved in the meta-theory.
|
|---|---|
| ISSN: | 0717-5000 |