Programming style is important for program understanding in programming tasks such as maintenance. testing, and debugging. The goal of programming style is to improve the readability of the source program without adversely affecting its performance.
Critique is a FORTRAN source program style critic which analyzes the source program and outputs...
Hayes, in his Naive Physics Manifesto, identified two alternate ontologies for reasoning about liquids, an ontology based on the notion of a contained substance and one based on the notion of a molecular collection. Qualitative Process theory, proposed by Forbus, lends itself easily to encoding the contained substance ontology. It...
In this report, we describe an implementation of a prototype information resources management system for the synthesis and integration project of the forest response program using a 4GL application development system ACCELL. Our system is called Prototype Virtual Data Management System (PVDMS). ACCELL is a software package that combines a...