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 |