Search Constraints

Start Over
Filtering by: Subject Programming languages (Electronic computers) -- Standards Remove constraint Subject: Programming languages (Electronic computers) -- Standards Committee Member Budd, Tim Remove constraint Committee Member: Budd, Tim

Search Results

  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

    Creator:
    Strauss, Paul J.
    Abstract:
    An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...
    Resource Type:
    Masters Thesis
    Full Text:
    do-notation to compose tasks together in a style similar to imperative programming. The language