Näytetään 11 - 20 yhteensä 23 tuloksesta haulle '"Logics and Meanings of Programs."', hakuaika: 0,02s Tarkenna hakua
  1. 11

    Relational analysis of algebraic datatypes. Tekijä Kuncak, Viktor

    Artikkeli

    Relational analysis of algebraic datatypes.
  2. 12

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli

    Lightweight object specification with typestates.
  3. 13

    Joining dataflow with predicates. Tekijä Fischer, Jeffrey

    Artikkeli

    Joining dataflow with predicates.
  4. 14

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

    Artikkeli

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

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

    Artikkeli

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

    Interface automata. Tekijä De Alfaro, Luca

    Artikkeli

    Interface automata.
  7. 17

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

    Artikkeli

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

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

    Julkaisussa Journal of the ACM
    Artikkeli

    Register-machine based processes.
  9. 19

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

    Julkaisussa Journal of the ACM
    Artikkeli

    Static analysis in datalog extensions.
  10. 20

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

    Artikkeli

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

Työkalut: