Prettyprinters are software tools that format program source code so that it conforms to certain standards of consistency and hence improves readability. Traditionally, these standards were fixed for a particular prettyprinter as indicated by a literature survey, with very little or no supporting evidence that the formatting style improves readability....
This thesis documents a new language which facilitates
the construction of Turing machines. The language translator
is written in Compass and has been debugged and is
available for use on the CDC 3300.
In von Neumann Languages, side effects occur if one or more non local variables change value(s) during the execution of a procedure or a function. Side effects can occur only if the programming language provides a notion of memory (or state) where the effect will be stored. Side effects complicate...
OSIRIS is an integrated information architecture which was developed at Oregon State University. SIDUR is the data model upon which the semantic level is based. The semantic level is the mediating level between user's information needs and the stored data. The advantages of providing a semantic database environment include flexibility...
There are a number of well known techniques for extracting parallelism from a given program. They range from hardware implementations, building restructuring compilers or reorganizing of programs so as to specify all the available parallelism. The success rate of any of the known techniques is rather poor over all types...
This paper corrects an apparent deficiency in the published
information concerning Hardware Description Languages (HDLs) by
introducing and discussing an approach for selecting an HDL for
use in a design project. Although three classes of HDLs are discussed
in this paper, High-Level Languages (HLLs), General Purpose
Simulation Languages (GPSLs) and...
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...
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...
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...