Hakutulokset - "Specifying and Verifying and Reasoning about Programs."

Tarkenna hakua
  1. 1

    Static analysis in datalog extensions. Tekijä Halevy, Alon Y.

    Julkaisussa Journal of the ACM
    Artikkeli


    Kansikuva
  2. 2

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

    Artikkeli


    Kansikuva
  3. 3

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

    Artikkeli


    Kansikuva
  4. 4

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

    Artikkeli


    Kansikuva
  5. 5

    Joining dataflow with predicates. Tekijä Fischer, Jeffrey

    Artikkeli


    Kansikuva
  6. 6

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli


    Kansikuva
  7. 7

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

    Artikkeli


    Kansikuva
  8. 8

    Relational analysis of algebraic datatypes. Tekijä Kuncak, Viktor

    Artikkeli


    Kansikuva
  9. 9

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

    Artikkeli


    Kansikuva
  10. 10

    Register-machine based processes. Tekijä Bergstra, Jan A.

    Julkaisussa Journal of the ACM
    Artikkeli


    Kansikuva

Työkalut: