Kết quả tìm kiếm - "Specifying and verifying and reasoning about programs."

Tinh chỉnh kết quả
  1. 1

    Static analysis in datalog extensions. Bằng Halevy, Alon Y.

    Xuất bản năm Journal of the ACM
    Bài viết


    Ảnh bìa
  2. 2

    Efficient incremental algorithms for dynamic detection of likely invariants. Bằng Perkins, Jeff H.

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  3. 3

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

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  4. 4

    Symbolic path simulation in path-sensitive dataflow analysis. Bằng Hampapuram, Hari

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  5. 5

    Joining dataflow with predicates. Bằng Fischer, Jeffrey

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  6. 6

    Lightweight object specification with typestates. Bằng Bierhoff, Kevin

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  7. 7

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

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  8. 8

    Relational analysis of algebraic datatypes. Bằng Kuncak, Viktor

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  9. 9

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

    Xuất bản năm Software engineering notes.
    Bài viết


    Ảnh bìa
  10. 10

    Register-machine based processes. Bằng Bergstra, Jan A.

    Xuất bản năm Journal of the ACM
    Bài viết


    Ảnh bìa

Công cụ tìm kiếm: