hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Algebraic properties for free!
School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands.ORCID-id: 0000-0002-4869-6794
2009 (engelsk)Inngår i: Bulletin of the European Association for Theoretical Computer Science, ISSN 0252-9742, Vol. 99, s. 81-103Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

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.

sted, utgiver, år, opplag, sider
European Association for Theoretical Computer Science , 2009. Vol. 99, s. 81-103
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20513OAI: oai:DiVA.org:hh-20513DiVA, id: diva2:584501
Tilgjengelig fra: 2013-01-09 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
I samme tidsskrift
Bulletin of the European Association for Theoretical Computer Science

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 207 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf