| Abstract
|
<p>Algebraic properties specify some … <p>Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.</p>ing their operational semantics.</p>
|
| Author
|
L. Aceto +
, A. Ingólfsdóttir +
, Mohammad Reza Mousavi +
, M. A. Reniers +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584501
|
| EndPage
|
103 +
|
| Journal
|
Bulletin of the European Association for Theoretical Computer Science +
|
| PublicationType
|
Journal Paper +
|
| Publisher
|
European Association for Theoretical Computer Science +
|
| StartPage
|
81 +
|
| Title
|
Algebraic properties for free! +
|
| Volume
|
99 +
|
| Year
|
2009 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
, Publications:Algebraic properties for free! +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:14 +
|
