Browse wiki

From CERES
Jump to: navigation, search
Publications:Algebraic properties for free!
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  +
show properties that link here 

 

Enter the name of the page to start browsing from.