TAPOS - Theory and Practice of Object Systems, Volume 1

Volume 1, Number 1, 1995

• Karl J. Lieberherr, Roberto Zicari: Editorial. 1 BibTeX
• Remo Pareschi, Mario Tokoro: Introduction to the Special Issue. 3 BibTeX
• John Lamping, Martín Abadi: Methods as Assertions. 5-18 BibTeX
• Elisa Bertino, Giovanna Guerrini, Danilo Montesi: Towards Deductice Object Databases. 19-39 BibTeX
• Weimin Chen, Volker Turau: Multiple-Dispatching Based on Automata. 41-59 BibTeX
• Roel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. 61-83 BibTeX

Volume 1, Number 2, 1995

• Rachid Guerraoui: Modular Atomic Objects. 89-99 BibTeX
• Roel Wieringa, Wiebren de Jonge: Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. 101-114 BibTeX
• Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. 115-131 BibTeX

• Peter Wegner: A Perspective on Object-Oriented Research. 133-143 BibTeX

Volume 1, Number 3, 1995

• Jens Palsberg, Michael I. Schwartzbach: Editorial. 149 BibTeX
• Martín Abadi, Luca Cardelli: An Imperative Object Calculus (Invited Paper). 151-166 BibTeX
• Urs Hölzle, Ole Agesen: Dynamic versus Static Optimization Techniques for Object-Oriented Languages. 167-188 BibTeX
• Kathleen Fisher, John C. Mitchell: The Development of Type Systems for Object-Oriented Languages. 189-220 BibTeX
• Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. 221-242 BibTeX

Volume 1, Number 4, 1995

• Naoki Kobayashi, Akinori Yonezawa: Towards Foundations of Concurrent Object-Oriented Programming-Types and Language Design. 243-268 BibTeX
• Eduardo Casais: An Experiment in Framework Development. 269-280 BibTeX
• Peter C. Lockemann, Hans-Dirk Walter: Object Oriented Protocol Hierarchies for Distributed Workflow Systems. 281-300 BibTeX