TAPOS - Theory and Practice of Object Systems, Volume 1

Volume 1, Number 1, 1995

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

Rachid Guerraoui: Modular Atomic Objects. 89-99
Roel Wieringa, Wiebren de Jonge: Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. 101-114
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

Report

Type Systems

Jens Palsberg, Michael I. Schwartzbach: Editorial. 149
Martín Abadi, Luca Cardelli: An Imperative Object Calculus (Invited Paper). 151-166
Urs Hölzle, Ole Agesen: Dynamic versus Static Optimization Techniques for Object-Oriented Languages. 167-188
Kathleen Fisher, John C. Mitchell: The Development of Type Systems for Object-Oriented Languages. 189-220
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

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

Last update Mon Feb 13 04:57:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page