Canlyniadau Chwilio - "Specifying and verifying and reasoning about programs."

Mireinio'r Canlyniadau
  1. 1

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl


    Delwedd Flaen
  2. 2

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

    Erthygl


    Delwedd Flaen
  3. 3

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

    Erthygl


    Delwedd Flaen
  4. 4

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

    Erthygl


    Delwedd Flaen
  5. 5

    Joining dataflow with predicates. gan Fischer, Jeffrey

    Erthygl


    Delwedd Flaen
  6. 6

    Lightweight object specification with typestates. gan Bierhoff, Kevin

    Erthygl


    Delwedd Flaen
  7. 7

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

    Erthygl


    Delwedd Flaen
  8. 8

    Relational analysis of algebraic datatypes. gan Kuncak, Viktor

    Erthygl


    Delwedd Flaen
  9. 9

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

    Erthygl


    Delwedd Flaen
  10. 10

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl


    Delwedd Flaen

Offerynnau Chwilio: