onr:"swepub:oai:DiVA.org:hh-20513"
Search: onr:"swepub:oai:DiVA.org:hh-20513" > Algebraic propertie...
- 1 of 1
- Previous record
- Next record
- To hitlist
Algebraic properties for free!
-
- Aceto, Luca (author)
- School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland
-
- Ingólfsdóttir, A. (author)
- School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland
-
- Mousavi, Mohammad Reza (author)
- Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands
- show more...
- Reniers, M. A. (author)
- show less...
- (creator_code:org_t)
- European Association for Theoretical Computer Science, 2009
- 2009
- English.
- In: Bulletin of the European Association for Theoretical Computer Science. - : European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Bulletin of the European Association for Theoretical Computer Science (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Aceto, Luca
- Ingólfsdóttir, A ...
- Mousavi, Mohamma ...
- Reniers, M. A.
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Bulletin of the ...
- By the university
- Halmstad University
Search outside SwePub
- Extend your search to:
- 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 - National Library Systems
- LIBRIS.kb.se
