Publications:Algebraic properties for free!

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Algebraic properties for free!
Author L. Aceto and A. Ingólfsdóttir and Mohammad Reza Mousavi and M. A. Reniers
Year 2009
PublicationType Journal Paper
Journal Bulletin of the European Association for Theoretical Computer Science
Diva url
Abstract 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.