Logics for OO information systems: a semantic study of object orientation from a categorial substructural perspective

Thesis

Cover

Titlepage

Contents

Acknowledgments

Preface

Part I General Analysis of Object Oriented Technology

Introduction

Chapter 1 The object oriented development practice

Chapter 2 Concepts in object orientation

Part II A Model for Object Oriented Technology

Introduction

Chapter 3 A generalized language for object oriented information systems

Chapter 4 A semantics for object oriented information systems

Part III Logical Aspects

Introduction

Chapter 5 Methodology: semantics, logic and applications

Chapter 6 Logic of object oriented information

Part IV Philosophical Backgrounds

Introduction

Chapter 7 Four philosophical issues

Part V Conclusion

Chapter 8 Categories for Profit

Bibliography

Samenvatting

Titles in the ILLC Disseration Series

Stellingen behorende bij het proefschrift Logics for OO Information Systems door Erik de Haas

Stellingen behorende bij het proefschrift

Cover