Structural Operational Semantics with transitivity rules and execution time

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...

Full description

Bibliographic Details
Main Author: Patricia Peratto
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
id doaj-8843066ff23a4b75b5a44bb72a351516
record_format Article
spelling doaj-8843066ff23a4b75b5a44bb72a3515162020-11-25T00:20:24ZengCentro Latinoamericano de Estudios en InformáticaCLEI Electronic Journal0717-50002009-08-0112210.19153/cleiej.12.2.2Structural Operational Semantics with transitivity rules and execution timePatricia Peratto 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. http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/236
collection DOAJ
language English
format Article
sources DOAJ
author Patricia Peratto
spellingShingle Patricia Peratto
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal
author_facet Patricia Peratto
author_sort Patricia Peratto
title Structural Operational Semantics with transitivity rules and execution time
title_short Structural Operational Semantics with transitivity rules and execution time
title_full Structural Operational Semantics with transitivity rules and execution time
title_fullStr Structural Operational Semantics with transitivity rules and execution time
title_full_unstemmed Structural Operational Semantics with transitivity rules and execution time
title_sort structural operational semantics with transitivity rules and execution time
publisher Centro Latinoamericano de Estudios en Informática
series CLEI Electronic Journal
issn 0717-5000
publishDate 2009-08-01
description 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.
url http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/236
work_keys_str_mv AT patriciaperatto structuraloperationalsemanticswithtransitivityrulesandexecutiontime
_version_ 1725367941383323648

Similar Items