Hochschulschrift
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866446236
- Dimensions
-
24 cm, 450 g
- Extent
-
XXI, 269 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Hergestellt on demand
Zugl.: Karlsruher Inst. für Technologie, Diss., 2010
- Keyword
-
Objektorientierte Programmierung
Java
Programmverifikation
Korrektheit
Automatisches Beweisverfahren
Spezifikationssprache
Design by Contract
Dynamische Logik
Deduktion
Abstrakte Interpretation
Abstraction
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT Scientific Publ.
- (when)
-
2011
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:56 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Weiß, Benjamin
- KIT Scientific Publ.
Time of origin
- 2011
Other Objects (12)
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic Visual Abstraction of Soccer Movement
Evaluation Aspects of a Object-Oriented Deductive Database Language
Data abstraction and object-oriented programming in C++
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic communicating systems by hierarchical abstraction : (draf)
Analysis of dynamic evolution systems by spotlight abstraction refinement
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis
Design and Implementation of an object-oriented framework for dynamic partial reconfiguration
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic Visual Abstraction of Soccer Movement
Evaluation Aspects of a Object-Oriented Deductive Database Language
Data abstraction and object-oriented programming in C++
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic communicating systems by hierarchical abstraction : (draf)
Analysis of dynamic evolution systems by spotlight abstraction refinement
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis
Design and Implementation of an object-oriented framework for dynamic partial reconfiguration
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic Visual Abstraction of Soccer Movement
Evaluation Aspects of a Object-Oriented Deductive Database Language
Data abstraction and object-oriented programming in C++
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic communicating systems by hierarchical abstraction : (draf)
Analysis of dynamic evolution systems by spotlight abstraction refinement
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis