Search Results - "Specifying and Verifying and Reasoning about Programs."

Refine Results
  1. 1

    Static analysis in datalog extensions. by Halevy, Alon Y.

    Published in Journal of the ACM
    Article


    Cover Image
  2. 2

    Efficient incremental algorithms for dynamic detection of likely invariants. by Perkins, Jeff H.

    Article


    Cover Image
  3. 3

    Constraint satisfaction techniques for diagnosing errors in design by contract software. by Ceballos, Rafael

    Article


    Cover Image
  4. 4

    Symbolic path simulation in path-sensitive dataflow analysis. by Hampapuram, Hari

    Article


    Cover Image
  5. 5

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article


    Cover Image
  6. 6

    Lightweight object specification with typestates. by Bierhoff, Kevin

    Article


    Cover Image
  7. 7

    Non-null references by default in the Java modeling language. by Chalin, Patrice

    Article


    Cover Image
  8. 8

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article


    Cover Image
  9. 9

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article


    Cover Image
  10. 10

    Register-machine based processes. by Bergstra, Jan A.

    Published in Journal of the ACM
    Article


    Cover Image

Search Tools: