Now showing items 1-2 of 2
A wide-spectrum language for object-based development of real-time systems.
(Elsevier Preprints, 1999-03-15)
A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...
Recursion removal/introduction by formal transformation: an aid to program development and program comprehension
(Oxford University Press, 1999)
The transformation of a recursive program to an iterative equivalent is a fundamental operation in Computer Science. In the reverse direction, the task of reverse engineering (analysing a given program in order to determine ...