Search Results - Abusdal, Ole Jørgen

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    A Notion of Equivalence for Refactorings with Abstract Execution

    A Notion of Equivalence for Refactorings with Abstract Execution by Abusdal, Ole Jørgen, Kamburjan, Eduard, Pun, Violet Ka I, Stolz, Volker

    Request full text
    Book Chapter
    Save to List
    Saved in:
  2. 2
    Transformations for Array programming

    Transformations for Array programming by Abusdal, Ole Jørgen

    Request full text
    Dissertation
    Save to List
    Saved in:
  3. 3
    I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

    I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking by Abusdal, Ole Jørgen, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker

    Request full text
    Article
    Save to List
    Saved in:

Search Tools: