Tyck till om SwePub Sök här!
onr:"swepub:oai:DiVA.org:hh-20513"
Sökning: onr:"swepub:oai:DiVA.org:hh-20513" > Algebraic propertie...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Algebraic properties for free!
-
- Aceto, Luca (författare)
- School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland
-
- Ingólfsdóttir, A. (författare)
- School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland
-
- Mousavi, Mohammad Reza (författare)
- Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands
- visa fler...
- Reniers, M. A. (författare)
- visa färre...
- (creator_code:org_t)
- European Association for Theoretical Computer Science, 2009
- 2009
- Engelska.
- Ingår i: Bulletin of the European Association for Theoretical Computer Science. - : European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
- Tidskriftsartikel (refereegranskat)
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- Bulletin of the European Association for Theoretical Computer Science (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Aceto, Luca
- Ingólfsdóttir, A ...
- Mousavi, Mohamma ...
- Reniers, M. A.
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- Bulletin of the ...
- Av lärosätet
- Högskolan i Halmstad
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
