mirage   mirage   mirage

Browsing Technical Reports (Electrical Engineering and Computer Science) by Author "Erwig, Martin"

DSpace/Manakin Repository

Browsing Technical Reports (Electrical Engineering and Computer Science) by Author "Erwig, Martin"

Sort by: Order: Results:

  • Oregon State University. Dept. of Computer Science; Erwig, Martin; Fu, Zhe (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    We describe the design of a domain-specific language (DSL) for the specification of generic ocean modeling tools, and we describe the implementation of its compiler. The goal of the DSL is to allow the specification of ...
  • Oregon State University. Dept. of Computer Science; Erwig, Martin; Abraham, Robin; Cooperstein, Irene; Kollmansberger, Steven (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2004-12-21)
    A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (functional) programs, few formal models o ...
  • Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    The structure of monadic functional programs allows the integration of many different features into such programs by just changing the definition of the monad and not the program, which is a desirable feature from a soft ...
  • Oregon State University. School of Electrical Engineering and Computer Science; Abraham, Robin; Erwig, Martin (Corvallis, OR : Oregon State University, School of Electrical Engineering and Computer Science, 2006-08-01)
    We present a catalog of mutation operators for spreadsheets drawn from research into mutation testing for general purpose programming languages and from spreadsheet errors that have been reported in literature. These ope ...
  • Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    Many software maintenance problems are caused by using text editors to change programs. A more systematic and reliable way of performing program updates is to express changes with an update language. In particular, up ...
  • Oregon State University. Dept. of Computer Science; Abraham, Robin; Erwig, Martin; Kollmansberger, Steven; Seifert, Ethan (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2005-01-24)
    We introduce a visual specification language for spreadsheets that allows the definition of spreadsheet templates. These templates are used by a spreadsheet generator to create Excel spreadsheets that are probably free f ...

Search ScholarsArchive@OSU


Advanced Search

Browse

My Account

Statistics