Showing 1 - 7 results of 7 for search 'Olin Shivers.', query time: 0.02s Refine Results
  1. 1
    CFA2: a Context-Free Approach to Control-Flow Analysis

    CFA2: a Context-Free Approach to Control-Flow Analysis by Dimitrios Vardoulakis, Olin Shivers

    Published 2011-05-01
    Get full text
    Article
  2. 2
    Embedding scheme in Java

    Embedding scheme in Java by Carlstrom, Brian D. (Brian David), 1973-

    Published 2005
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis
  3. 3
    Implementing concurrency for an ML-based operating system

    Implementing concurrency for an ML-based operating system by Lin, Albert C. (Albert Chia-Jui), 1974-

    Published 2009
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis
  4. 4
    Using FoxNet for TCP/IP networking in ML/OS

    Using FoxNet for TCP/IP networking in ML/OS by Vladimirov, Alexander, 1975-

    Published 2009
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis
  5. 5
    Denotational proof languages

    Denotational proof languages by Arkoudas, Konstantinos, 1968-

    Published 2013
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis
  6. 6
    Fine-grain interrupts and atomic heap transactions

    Fine-grain interrupts and atomic heap transactions by Clark, James W. (James Wesley), 1977-

    Published 2014
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis
  7. 7
    Extensible syntax in the presence of static analysis : scheme macros meet ML types

    Extensible syntax in the presence of static analysis : scheme macros meet ML types by Nanavati, Ravi A. (Ravi Amit), 1976-

    Published 2014
    Other Authors: “…Olin Shivers.…”
    Get full text
    Thesis

Search Tools: