id:"swepub:oai:research.chalmers.se:09e26f0f-9e22-48c2-a248-2318cd8e5dfb"
Search: id:"swepub:oai:research.chalmers.se:09e26f0f-9e22-48c2-a248-2318cd8e5dfb" > Abstract Object Cre...
- 1 of 1
- Previous record
- Next record
- To hitlist
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created
-
- Ahrendt, Wolfgang, 1967 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- De Boer, F. (author)
- Stichting Centrum voor Wiskunde & Informatica (CWI)
-
- Grabe, Immo (author)
- Christian-Albrechts-Universität zu Kiel,University of Kiel,Stichting Centrum voor Wiskunde & Informatica (CWI)
- (creator_code:org_t)
- ISBN 9783642050886
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
- 2009
- English.
- In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642050886 ; 5850, s. 612 - 627
- Conference paper (peer-reviewed)
Table of contents
Abstract
Subject headings
Close
No table of content available
- In this paper we give a representation of a weakest precondition calculus for abstract object creation in dynamic logic, the logic underlying the KeY theorem prover. This representation allows to both specify and verify properties of objects at the abstraction level of the (object-oriented) programming language. Objects which are not (yet) created never play any role, neither in the specification nor in the verification of properties. Further, we show how to symbolically execute abstract object creation.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (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
- Ahrendt, Wolfgan ...
- De Boer, F.
- Grabe, Immo
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Lecture Notes in ...
- By the university
- Chalmers University of Technology
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
