A Program Transformation for Converting Java Assertions into Control-flow Statements
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Working Papers / ERCIS - European Research Center for Information Systems ; 25
- Event
-
Veröffentlichung
- (where)
-
Münster
- (who)
-
Universitäts- und Landesbibliothek Münster
- (when)
-
2024
- Creator
- DOI
-
10.17879/25928672713
- URN
-
urn:nbn:de:hbz:6-25928670502
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
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.
Associated
- Caballero, Rafael
- Hof, Vincent von
- Montenegro, Manuel
- Kuchen, Herbert
- Universitäts- und Landesbibliothek Münster
Time of origin
- 2024
Other Objects (12)
A program transformation for converting Java assertions into control-flow statements
C. Assertions
Assertions and recursions
Carbon emission statements: Balance sheets and flow statements
Carbon emission statements: Balance sheets and flow statements
Interactive program construction with incomplete statements
Data flow in program verification
Converting Milan
Reasoning with Assertions and Examples
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
Corporate carbon accounting: balance sheets and flow statements
A program transformation for converting Java assertions into control-flow statements
C. Assertions
Assertions and recursions
Carbon emission statements: Balance sheets and flow statements
Carbon emission statements: Balance sheets and flow statements
Interactive program construction with incomplete statements
Data flow in program verification
Converting Milan
Reasoning with Assertions and Examples
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
Corporate carbon accounting: balance sheets and flow statements
A program transformation for converting Java assertions into control-flow statements
C. Assertions
Assertions and recursions
Carbon emission statements: Balance sheets and flow statements
Carbon emission statements: Balance sheets and flow statements
Interactive program construction with incomplete statements
Data flow in program verification
Converting Milan
Reasoning with Assertions and Examples
ASSERTIONs: and how to use them
Trust assertions: How to store Trust