Proofs and proof transformations for object-oriented programs

Metadata Label Value
Author(s): Nordio, Darío Martín
Publisher: ETH
Citation:

Nordio, Darío Martín. Proofs and proof transformations for object-oriented programs. ETH (2009). http://dx.doi.org/10.3929/ethz-a-006042266

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (219.86KB), Fulltext (2.73MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Proofs and proof transformations for object-oriented programs
Author(s) Nordio, Darío Martín
Publication Place Zürich
Publisher ETH
Publication Date 2009
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 18689, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006042266
Subject(s) Software
Keyword(s) CORRECTNESS
THEORY OF PROGRAMMING
TESTING
DEBUGGING
OBJECT-ORIENTED PROGRAMMING
PROGRAMMING METHODS
Description File Name MIME Type Size
Abstract   eth-1156-01.pdf application/pdf 219.86KB
Fulltext   eth-1156-02.pdf application/pdf 2.73MB
Abstract Views and Downloads
Views 31  abstracts
Downloads 67  downloads

Abstract Views and Downloads by Country
Views 15  abstracts
Downloads 24  downloads
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Tue, 27 Apr 2010, 04:28:43 CET