Adrian Matthew Mettler

2008

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Adrian Matthew Mettler's perspective

Ordered by how strongly the researchers Adrian Matthew Mettler trusts endorse each paper. Same corpus, a different order for every researcher.

  1. High Integrity Software - The SPARK Approach to Safety and Security
  2. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  3. Robust composition: towards a unified approach to access control and concurrency control
  4. Structure and interpretation of computer programs
  5. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  6. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  7. Simplify: a theorem prover for program checking (JACM)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. The unified modeling language reference manual
  10. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers