Bilaketaren emaitzak - "Specifying and Verifying and Reasoning about Programs."

Findu emaitzak
  1. 1

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

    Argitaratua izan da Journal of the ACM
    Artikulua


    Azala
  2. 2

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  3. 3

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  4. 4

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  5. 5

    Joining dataflow with predicates. nork Fischer, Jeffrey

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  6. 6

    Lightweight object specification with typestates. nork Bierhoff, Kevin

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  7. 7

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  8. 8

    Relational analysis of algebraic datatypes. nork Kuncak, Viktor

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  9. 9

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  10. 10

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

    Argitaratua izan da Journal of the ACM
    Artikulua


    Azala

Bilaketa egiteko lanabesak: