I received so much appreciation from them that i

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: much appreciation from them that I remain ever thankful. I am glad that I came to know Michele Bugliesi from the University of Padova, Italy. We shared interesting ideas and worked as colleagues. I had an exciting and enlightening time working with him and doing insightful research. He presented to me an entirely new dimension of logical systems and helped me develop a deeper understanding of logic programming as a whole. This was instrumental in shaping the research contained in this thesis. I owe to him all that I learned from him and I am thankful that we are friends. vi Thanks are also due to Michael Kifer (State University of New York, USA), Rodney Topor (Gri th University, Australia), Kenneth Smith (University of Illinois at Urbana-Champaign, USA), Laura Giordano (University of Torino, Italy), and Paul Johannesson (Stockholm University, Sweden) for the many interesting discussions we have had from time to time. My rst year of study in Concordia was made easy by Rajwant Kohli. He took the time to upgrade me to Unix itro , and explained to me every necessary details I needed to know to survive in a new environment. Ramesh Achuthan, Basudeb Das, Khaled Jababo, Alexander Lakher, Nematollah Shiri, and Iyer Subramanian have been excellent friends. I thank them all for being extremely helpful in so many ways. I thank my dearest friend Mahbubur Rahman for helping me during the worst times of my life in Montreal. I would like to express my sincere gratitude to the analyst pool of the Computer Science Department and the department secretaries Edwina Bowen, Terry Czernienko, Halina Monkiewicz and Stephanie Roberts for being so helpful and cooperative. Special thanks are due to Stan Swiercz for helping me with Unix, Coral, and WWW. Thanks are also due to Ianina Orenman for working with me for the implementation of ORLog, for which she did an excellent job. My graduate study at Concordia has been supported by several grants which I would like to gratefully acknowledge. I received nancial support from the Canadian Commonwealth Scholarship and Fellowship Plan and from the University of Dhaka, Bangladesh for my entire graduate study at Concordia. I also received stipends for one year and partial support for conference travel from NSERC (Canada) and FCAR (Quebec). Finally, I would like to thank my family { my wife Nusrat, my daughter Nishat, my parents and my brothers (specially my brother Hasan Zaman) for allowing me all the time I needed to complete this thesis, for forgiving me for not being able to be there when they needed me most, and for supporting me during my thesis work in every way they could { a debt which I will never be able to repay. vii Contents List of Figures 1 Introduction 1.1 1.2 1.3 1.4 Motivation : : : : : : : : : : Scope of this Thesis : : : : : Organization of this Thesis : Credits : : : : : : : : : : : : xi : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1 3 3 4 2 OR Model: An Abstract Data Model 2.1 Related Research and Motivation : : : : : 2.2 Objectives of the OR Model : : : : : : : : 2.3 Basic Constructs : : : : : : : : : : : : : : 2.3.1 Objects : : : : : : : : : : : : : : : 2.3.2 Types of Objects : : : : : : : : : : 2.3.3 Domains and Values : : : : : : : : 2.3.4 Attributes and Methods : : : : : : 2.3.5 Signatures : : : : : : : : : : : : : : 2.3.6 Classes and Instances : : : : : : : : 2.3.7 Inter-object Associations : : : : : : 2.3.8 Methods in Relationships : : : : : 2.3.9 Inheritance : : : : : : : : : : : : : 2.3.10 Inheritance Con ict Resolution : : 2.3.11 Encapsulation : : : : : : : : : : : : 2.3.12 Method Polymorphism : : : : : : : 2.3.13 Constraints : : : : : : : : : : : : : 2.3.14 Virtual Objects and Relationships : viii 5 9 10 11 13 14 15 19 20 21 22 23 25 26 27 27 28 5 2.4 Global considerations : : : : : : : : : : : : : : : : : : : : : : : : : : : 2.5 Accessibility : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2.6 Update Semantics : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 29 31 32 3 ORLog: A Logic Based Object-Oriented Language 3.1 Related Research and Motivation : : : : : : : : : : : : : : : : : : : : 3.2 Objectives of ORLog : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.3 Overview of ORLog : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.3.1 Syntax : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.3.2 Informal Semantics of I...
View Full Document

This document was uploaded on 01/10/2011.

Ask a homework question - tutors are online