Search
for Author
All Reviews
Grigore, Roşu
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Semantics-based program verifiers for all languages
Stefănescu A., Park D., Yuwen S., Li Y., Roşu G. OOPSLA 2016 (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Amsterdam, Netherlands, Nov 2-4, 2016) 74-91, 2016. Type: Proceedings
Programming is hard. Verifying correctness of a program is harder. Building an automated tool for program verification is harder still: there are very few tools that can perform verification of non-trivial programs written in real-worl...
...
Jul 20 2017
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy