Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  1988, with author ALL, in the category IASI Research Reports (or show them all):


IASI Research Report n. 251  (Previous )


Temperini M., Vitale R.

A formal approach to the specification and manipulation of mathematical objects.

ABSTRACT
A new methodology for designing algebraic manipulation systems is proposed. The basic concepts are the formalization and correctness of the objects treatment and dynamic data types manipulation. The theory of Algorithmic Logic, which furnishes the methodological background of our proposal, is also described. An experiment is presented to show how it is possible to implement the kernel and some modules of a system by using the high level features and the flexible style of an Object-Oriented programming language. According to this approach , a formally correct manipulation of the objects is obtained. Moreover, the flexibility obtained for the whole system by of the readability, composition and easy expandibility of the modules , stresses the benefit of the proposed approach.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -