Dangos 11 - 20 canlyniadau o 23 ar gyfer chwilio '"Logics and meanings of programs."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 11

    Relational analysis of algebraic datatypes. gan Kuncak, Viktor

    Erthygl

    Relational analysis of algebraic datatypes.
  2. 12

    Lightweight object specification with typestates. gan Bierhoff, Kevin

    Erthygl

    Lightweight object specification with typestates.
  3. 13

    Joining dataflow with predicates. gan Fischer, Jeffrey

    Erthygl

    Joining dataflow with predicates.
  4. 14

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. gan Dingel, Juergen

    Erthygl

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  5. 15

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

    Erthygl

    Efficient incremental algorithms for dynamic detection of likely invariants.
  6. 16

    Interface automata. gan De Alfaro, Luca

    Erthygl

    Interface automata.
  7. 17

    Modular verification of collaboration-based software designs. gan Fisler, Kathi

    Erthygl

    Modular verification of collaboration-based software designs.
  8. 18

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Register-machine based processes.
  9. 19

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Static analysis in datalog extensions.
  10. 20

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

    Erthygl

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

Offerynnau Chwilio: