Patricia M. Hill

Computational Theory and Mathematics · 2006

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

Subfields

Whom Patricia M. Hill trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Antoine Miné

Papers from Patricia M. Hill's perspective

Ordered by how strongly the researchers Patricia M. Hill trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Automatic discovery of linear restraints among variables of a program
  2. Abstract Interpretation Frameworks
  3. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  4. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. The ASTREÉ Analyzer
  6. The octagon abstract domain (Proceedings Eighth Working Conference on Reverse Engineering)
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. The SLAM project: debugging system software via static analysis
  10. Reliable and Precise WCET Determination for a Real-Life Processor (International Conference on Embedded Software)

Their papers