Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Bulletin of the European Association for Theoretical Computer Science, ISSN 0252-9742, Vol. 99, 81-103 s.Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
European Association for Theoretical Computer Science , 2009. Vol. 99, 81-103 s.
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20513OAI: oai:DiVA.org:hh-20513DiVA: diva2:584501
Tillgänglig från: 2013-01-09 Skapad: 2013-01-08 Senast uppdaterad: 2017-03-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
I samma tidskrift
Bulletin of the European Association for Theoretical Computer Science
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 115 träffar
RefereraExporteraLänk till posten
Permanent länk

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