Search
for Author
All Reviews
Muller, Peter
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
3
of
3
reviews
Modular product programs
Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019. Type: Article
Some properties of programs are not about a single run of the program; instead, they relate multiple runs. For example, a program is deterministic if, given the same input, two runs will always produce the same answer. Many other prope...
...
Jan 14 2020
Specification and verification challenges for sequential object-oriented programs
Leavens G., Leino K., Müller P. Formal Aspects of Computing 19(2): 159-189, 2007. Type: Article
The formal verification of code is gradually becoming a more viable technique for use in program development beyond the confines of critical applications. Advances in formal interface specification languages, such as the Java Modeling ...
...
Mar 3 2008
Modular specification and verification of object-oriented programs
Müller P., Springer-Verlag New York, Inc., New York, NY, 2002. 292 pp. Type: Book (9783540431671)
Based on M¿llers dissertation, this book develops a theory of specification and verification for a Java-like object-oriented language. It builds on the well-established theory of Hoare-style program verification, extending it to the do...
...
Feb 4 2004
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy