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  ALL, with author Temperini M., in the category IASI Research Reports (or show them all):

---

IASI Research Report n. 416  (Previous    Next) 


Cioni G., Colagrossi A., Temperini M.

Class reasoning in object oriented languages for symbolic computation

ABSTRACT

Object-oriented programming techniques can be fruitfully applied in the design of languages for symbolic computation systems. The fundamental requirements starting from the axiomatic classification method typical of abstract mathematics is considered. The class structure is modified in order to include logical properties. The basic lines of a logic language capable to express the properties is indicated. The ESI mechanism is improved in order to treat also the axioms. The sequent calculus is indicated as the suitable tool for class reasoning. Some possible applications of static class reasoning are shown.