Verification condition generation for permission logics with abstract predicates and abstraction functions

Metadata Label	Value
Author(s):	Heule, Stefan, Kassios, Ioannis T., Müller, Peter, Summers, Alexander J.
Publisher:	ETH Zurich
Citation:	Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J.. Verification condition generation for permission logics with abstract predicates and abstraction functions. ETH Zurich (2012). http://dx.doi.org/10.3929/ethz-a-007577583
Document Type:	Reports
Documents:	Text (472.30KB)

Detailed Information

Metadata	Description
Title	Verification condition generation for permission logics with abstract predicates and abstraction functions
Author(s)	Heule, Stefan Kassios, Ioannis T. Müller, Peter Summers, Alexander J.
Publication Place	Zurich
Publisher	ETH Zurich
Publication Date	2012
Series	Technical report / Department of Computer Science, ETH Zurich [776]
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-007577583
Subject(s)	Theoretical Computer Science
Keyword(s)	SEMANTICS OF PROGRAMMING LANGUAGES VERIFICATION PREDICATE LOGIC SEMANTICS OF LOGICAL LANGUAGES
Organisational Unit	Department of Computer Science
Online Publication Date	2012

Description	File Name	MIME Type	Size
Text	eth-6221-01.pdf	application/pdf	472.30KB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=007577583

Abstract Views and Downloads
Views	13
Downloads	13

Abstract Views and Downloads by Country
	Views	3
	Downloads	3
Switzerland	Views	4
Switzerland	Downloads	3
Portugal	Views	2
Portugal	Downloads	2
United States	Views	2
United States	Downloads	2
Belgium	Views	0
Belgium	Downloads	1
France	Views	0
France	Downloads	1
United Kingdom	Views	1
United Kingdom	Downloads	1
China	Views	1
China	Downloads	0