Search
for Author
All Reviews
Simmons, Robert J.
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Linear logical approximations
Simmons R., Pfenning F. PEPM 2009 (Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, Jan 19-20, 2009) 9-20, 2008. Type: Proceedings
Program analysis is a very active field of research, tackling difficult yet practical problems. Algorithms have been developed for many different analyses, but abstract interpretation is the main methodological tool. Here, we are offer...
...
Mar 10 2009
Proofs from tests
Beckman N., Nori A., Rajamani S., Simmons R. Software testing and analysis (Proceedings of the 2008 International Symposium on Software Testing and Analysis, Seattle, WA, Jul 20-24, 2008) 3-14, 2008. Type: Proceedings
Based in the area of software verification that uses model-checking methods, this paper builds on the recent verification methods that employ the technique of counterexample guided abstraction refinement (CEGAR) for prov...
...
Sep 29 2008
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy