Showing 1 - 3 results of 3 for search 'Felleisen, M', query time: 0.02s Refine Results
  1. 1
    Software verification for weak memory via program transformation

    Software verification for weak memory via program transformation by Alglave, J, Kroening, D, Nimal, V, Tautschnig, M

    Published 2013
    Other Authors: “…Felleisen, M…”
    Conference item
  2. 2
    No value restriction is needed for algebraic effects and handlers

    No value restriction is needed for algebraic effects and handlers by Kammar, O, Pretnar, M

    Published 2017
    Other Authors: “…Felleisen, M…”
    Journal article
  3. 3
    Counterexample-guided precondition inference

    Counterexample-guided precondition inference by Seghir, M, Kroening, D

    Published 2013
    Other Authors: “…Felleisen, M…”
    Conference item

Search Tools: