Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Creator Chen, Sheng Remove constraint Creator: Chen, Sheng

Search Results

  • Extending Type Inference to Variational Programs

    Creator:
    Chen, Sheng, Erwig, Martin, and Walkingshaw, Eric
    Abstract:
    Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is difficult. The brute-force strategy of generating all variants and typing each one individually is (1) usually infeasible for efficiency...
    Resource Type:
    Article
    Full Text:
    Programs SHENG CHEN, MARTIN ERWIG, and ERIC WALKINGSHAW, Oregon State University Through the use of

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    Groce, Prasad Tadepalli, and Eric Walkingshaw, offered a lot of support during my study here. Thank