Search Constraints

Start Over
Filtering by: Creator Kroll, Andrew J. Remove constraint Creator: Kroll, Andrew J. Advisor Erwig, Martin Remove constraint Advisor: Erwig, Martin

Search Results

  • Automatic program generation for scientific computing

    Creator:
    Fu, Zhe
    Abstract:
    The code reuse problem is a common software engineering problem in scientific computing. As a prevailing programming language in many scientific fields, Fortran does not provide support to address this problem. One particular reason is that Fortran lacks the support for generic programming. By applying program-generation techniques, we developed two...
    Resource Type:
    Dissertation
    Full Text:
    )] a2 :: Array (Int,Int) Int a2 = array ((1,1), (3,3)) [((i,j), i*j) | i<-[1..3], j<-[1..3]] The array

  • 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

  • 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:
    the vein of random numbers [59]. Simulation languages, such as Simulink [14] and Psim-J [25], were

  • Spreadsheet Explanation Through Table Abstraction

    Creator:
    Dan, Mihai
    Abstract:
    Spreadsheets are a pervasive technology throughout personal and industrial use. Often times, the user is not the author, contributing to a lack of understanding of the purpose and functionality of a spreadsheet. Furthermore, the lack of understanding is a major reason for mistakes in the use and maintenance of spreadsheets....
    Resource Type:
    Masters Thesis
    Full Text:
    = v̄ JaKX = JX(a)KX JāKX = l{JX(a)KX | a ∈ ρ(ā)} J`KX = lL−1(`) JxiKX = (v1i , v2i ) v1i ≤ vi ≤ v2i

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    trees (Jν). . . . . . . . . . . . . . . . . . . . . 20 4.2 Proof tree for let sqr=\x->x*x in sqr 5

  • Dimension checking tools for spreadsheets

    Creator:
    Chambers, Chris (Christopher Willie)
    Abstract:
    We present the evolution of a reasoning system for inferring dimension information in spreadsheets. The three papers included in this thesis show how the initial system can be used to check the consistency of spreadsheet formulas and thus is able to detect errors in spreadsheets, and the evolution to a...
    Resource Type:
    Masters Thesis

  • Guided Translation of Algorithmic Notation into Functional Programs

    Creator:
    Fedorin, Danila
    Abstract:
    The use of board games for teaching introductory computer science is a promising recent avenue of research. The goal is to introduce computing concepts through their use in the implementations of simple games, thereby keeping students engaged through their learning process. However, there is a gap between students' algorithmic descriptions...
    Resource Type:
    Masters Thesis

  • Structuring Teachable Knowledge through Program-Concept Classifications

    Creator:
    Wilson, Benjamin F.
    Abstract:
    Teaching CS is a challenging task, especially for those without prior programming experience. Even for veteran educators, having to learn CS concepts while also trying to teach those same concepts is difficult; as is the case for many K-12 CS instructors. Unfortunately, there is often no formalized order with CS...
    Resource Type:
    Masters Thesis

  • Type-correct changes — a safe approach to version control implementation

    Creator:
    Dagit, Jason
    Abstract:
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...
    Resource Type:
    Masters Thesis

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    tool to find the differences between any two program versions, pi and p j. The program differences are