PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Carlucci L., Aiello M., Attardi G., Prini G. Adding classes to LISP. Internal note IEI-B76-13, 1976.
 
 
Abstract
(English)
Recursive data types are formalized in a set theoretic formalism and a type driven function activation mechanism is introduced. An extension of LISP is then described, to include data type definitions and their manupulation, in a style reminiscent of SIMULA 67 classes. Many examples of the features available to the programmer and of their use are provided, as well as some comments on the reasons why programming using data types and type driven programming are a valuable technique for developing readable, reliable and well structured programs in an incremental way
Subject Abstract data types
Classes
Recursive data types


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional