Structural Operational Semantics with transitivity rules and execution time
DOI:
https://doi.org/10.19153/cleiej.12.2.2Abstract
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.
Downloads
Published
Issue
Section
License
CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).
