Showing 1 - 8 results of 8 for search 'Yessenov, Kuat T', query time: 0.05s Refine Results
  1. 1
    Program synthesis from execution traces and demonstrations
    by Yessenov, Kuat T
    Published 2016
    Get full text
    Others
  2. 2
    A lightweight specification language for bounded program verification
    by Yessenov, Kuat T
    Published 2010
    Get full text
    Others
  3. 3
    Stepwise refinement of heap-manipulating code in Chalice
    Other Authors: “...Yessenov, Kuat T...”
    Get fulltext
    Article
  4. 4
    Data-driven synthesis for object-oriented frameworks
    Other Authors: “...Yessenov, Kuat T....”
    Get fulltext
    Article
  5. 5
    Bounded verification of voting software
    Other Authors: “...Yessenov, Kuat T....”
    Get fulltext
    Article
  6. 6
    Unifying Execution of Imperative and Declarative Code
    Other Authors: “...Yessenov, Kuat T....”
    Get fulltext
    Article
  7. 7
    Agile specifications
    Other Authors: “...Yessenov, Kuat T....”
    Get fulltext
    Article
  8. 8
    Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
    Other Authors: “...Yessenov, Kuat T...”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search