Research in Programming Languages and Software Engineering

Authors:
Publisher website
Google Scholar
Abstract
The projects presented in this report encompass developing and integrating the concepts and models used in the TAME measurement environment, using syntax-editing technology to develop formal specifications, investigating the impact of functional specification and development on software construction, designing and evaluating a new exception handling mechanism, and transforming computations for single processors to execute efficiently on non-shared memory multiprocessors. (emk)