Search Constraints

Start Over
Filtering by: Subject Programming languages (Electronic computers) -- Standards Remove constraint Subject: Programming languages (Electronic computers) -- Standards Rights Statement In Copyright Remove constraint Rights Statement: In Copyright

Search Results

  • Empirical studies of a spreadsheet maintenance experiment

    Creator:
    Krishna, Vijay B.
    Abstract:
    Spreadsheet language programs, which include commercial spreadsheets, are among the most common form of software in use today. Unlike more "traditional" forms of software however, spreadsheet language programs are created and maintained by end-users with little or no programming experience. As a result, a high percentage of these programs contain...
    Resource Type:
    Masters Thesis
    Full Text:
    ABSTRACT OF THE THESIS OF Vijay B. Krishna for the degree of Master of Science m Computer Science

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    Programming Language . . . . . . . . . . . . . . . . . . . 123 6.2 Reward Attribution Algorithm

  • bBlocks : a flexible object oriented microarchitecture simulation framework

    Creator:
    Hua, Ying
    Abstract:
    This research develops an object-oriented approach of modeling microprocessor architecture. A generic modeling library, bBlocks, is proposed as a framework for constructing microprocessor simulation. bBlocks is a collection of predefined abstract components (blocks) implemented in Java, the object-oriented programming language. Blocks are defined and used as the basic components in...
    Resource Type:
    Masters Thesis
    Full Text:
    features from all previous ones [12]. For example, while C++ was just a programming language, Java, with

  • Automatic test case generation for spreadsheets

    Creator:
    Cao, Mingming
    Abstract:
    Test case generation in software testing is a process of developing a set of test data that satisfies a particular test adequacy criterion. It is desirable to automate this process since doing it manually is not only technically difficult but also tedious and time-consuming. Although there has been considerable research...
    Resource Type:
    Masters Thesis
    Full Text:
    OF THE THESIS OF Mingming Cao for the degree of Master of Science in Computer Science presented on

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Language for Probabilistic Programming Abstract approved: Martin Erwig Functional programming is

  • 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

  • Generalizing WYSIWYT for use in the screen transition paradigm

    Creator:
    Brown, Darren
    Abstract:
    How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those languages - even when the audience has no background in software engineering? Visual programs are likely to contain at least...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on May 13, 2003. Title: Generalizing WYSIWYT For Use in