This report includes information concerning experimental use of unregistered pesticides or unregistered uses of pesticides. Experimental results should not be interpreted as recommendations for use. Use of unregistered materials or use of any registered pesticides inconsistent with its label is against both Federal Law and State Law.
This paper describes a real time garbage collection algorithm. It allocates storage automatically from a heap, and does not require the programmer to give any indication that particular items are no longer useful or accessible. A garbage collection algorithm is considered to be real time if the amount of work...
There is disagreement about the role and importance of typographic style (source code formatting and commenting) in program comprehension. Results from experiments and opinions in programming style books are mixed.
This paper presents principles of typographic style consistent and compatible with the results of program comprehension studies. It introduces the...
One of the most popular topologies is the hypercube, that has n = 2ᵏ processors, numbered 0 to 2ᵏ -1 and connected in such a way that there is a link between any two if and only if they differ in one bit. Its popularity is due to the fact...
This paper describes the program transformation method used in DataLab, a general-purpose system for the specification and synthesis of abstract data types (ADTs). We present a model for transforming visual specifications of ADTs to imperative code. This model includes two forms of internal representations: one for the ADTs visual specifications...
Object oriented programming features information hiding and encapsulation, meaning that 1) each object hides the the implementation details tram access from outside and only a set of methods (interface routines) are visible outside of the object, and 2) changes to the implementation of the object do not require changes to...
This paper addresses the problem of aggregating a number of expert opinions which have been expressed in some numerical form. An important feature of sets of expert opinions is the possibility of stochastic dependence between members of the sets. We develop an approach for combining expert opinions which formally allows...
We have identified a "book paradigm" for source code formatting which improves program comprehension and assists in maintenance work. The book paradigm can be implemented by reverse engineering code listings into a "book" with preface, tab1es of contents, chapters, sections, indices and pagination. This reverse engineering effectively reorganizes source code...