https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AAlgebraic_properties_for_free%21Publications:Algebraic properties for free! - Revision history2026-05-23T13:09:28ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Algebraic_properties_for_free!&diff=4094&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=L. Aceto, A. Ingólfsdóttir, Mohammad Reza Mousavi, M. A. Reniers |PID=584..."2014-06-26T03:43:14Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=L. Aceto, A. Ingólfsdóttir, Mohammad Reza Mousavi, M. A. Reniers |PID=584..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=L. Aceto, A. Ingólfsdóttir, Mohammad Reza Mousavi, M. A. Reniers<br />
|PID=584501<br />
|Name=Aceto, L. (School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland);Ingólfsdóttir, A. (School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland);Mousavi, Mohammad Reza [mohmou] (Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands);Reniers, M. A.<br />
|Title=Algebraic properties for free!<br />
|PublicationType=Journal Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=Bulletin of the European Association for Theoretical Computer Science<br />
|JournalISSN=0252-9742<br />
|Status=published<br />
|Volume=99<br />
|Issue=<br />
|HostPublication=<br />
|Conference=<br />
|StartPage=81<br />
|EndPage=103<br />
|Year=2009<br />
|Edition=<br />
|Pages=<br />
|City=<br />
|Publisher=European Association for Theoretical Computer Science<br />
|Series=<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-20513<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<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><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-01-08<br />
|PublicationDate=2013-01-09<br />
|LastUpdated=2013-01-17<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584501}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek