Advanced Programming Methodologies

Content: 
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-vi
Contributors, Pages vii-viii
Development of Software from Algorithmic Specifications, Pages 1-39, Andrzej Salwicki
TOWARD FLEXIBLE SPECIFICATION ENVIRONMENTS, Pages 41-75, Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
OBJECT ORIENTED PROGRAMMING: A SPECIALIZATION OF SMALLTALK?, Pages 77-110, Antonio Natali, Antonio Corradi
A Description and Evaluation of PARAGON's Type Hierarchies for Data Abstraction, Pages 111-139, Mark Sherman
On Inheritance Rule in Object Oriented Programming, Pages 141-164, Antoni Kreczmar
DERIVATION OF PROGRAMS WHICH TRAVERSE THEIR INPUT DATA ONLY ONCE, Pages 165-184, Alberto Pettorossi
Functional Programming Approach to Modularity in Large Software Systems, Pages 185-204, Alfonso Miola
LANGUAGES FOR DATABASES, Pages 205-222, Paolo Atzeni
RELATIONAL ALGEBRA AND FIXPOINT COMPUTATION FOR LOGIC PROGRAMMING IMPLEMENTATION, Pages 223-245, Domenico Saccà, Carlo Zaniolo
Modules in high level programming languages, Pages 247-340, Gianna Cioni, Antoni Kreczmar
Storage Management, Pages 341-366, Gianna Cioni, Antoni Kreczmar, Riccardo Vitale
Index, Pages 367-368
A.P.I.C. Studies in Data Processing, Pages ibc1-ibc3, M.J.R. Shave, I.C. Wand