The movable point problem and its resolution in object type graphs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The movable point problem and its resolution in object type graphs

Full text

Pdf (390 KB)

Source

ACM Southeast Regional Conference archive
Proceedings of the 43rd annual Southeast regional conference - Volume 2 table of contents

Kennesaw, Georgia

SESSION: Software design, languages and systems table of contents

Pages: 315 - 320

Year of Publication: 2005

ISBN:1-59593-059-0

Authors

Cong-cong Xing	Nicholls State University, Thibodaux, LA
Boumediene Belkhouche	Tulane University, New Orleans, LA

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 10, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1167253.1167322 What is a DOI?

ABSTRACT

Internal dependencies among object components characterize the behaviors of objects and differentiate objects from records. Fundamental typing/subtyping shortcomings and loopholes still persist in current object type systems due to the overlooking of such interdependencies. In this paper, we first identify a new movable point problem that exists in conventional object type systems. Then, as a new approach to the typing of object-oriented languages, we propose object type graphs (OTG) where object component interdependencies are integrated into object types. Object subtyping is subsequently defined by reasoning on the relevant type graphs. Finally, we show how the movable point problem can be easily resolved under OTG.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	2	Viviana Bono , Luigi Liquori, A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects, Selected Papers from the 8th International Workshop on Computer Science Logic, p.16-30, September 25-30, 1994
	3	Kim Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2):127--206, 1994.
	4	Kim B. Bruce, Foundations of object-oriented languages: types and semantics, MIT Press, Cambridge, MA, 2002
	5	Kim B. Bruce , Angela Schuett , Robert van Gent , Adrian Fiech, PolyTOIL: A type-safe polymorphic object-oriented language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.2, p.225-290, March 2003 [doi>10.1145/641888.641891]
	6	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
	7	H. Ehrig , H.-J. Kreowski , U. Montanari , G. Rozenberg, Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution, World Scientific Publishing Co., Inc., River Edge, NJ, 1999
	8	H. Ehrig , H.-J. Kreowski , U. Montanari , G. Rozenberg, Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution, World Scientific Publishing Co., Inc., River Edge, NJ, 1999
	9	Hartmut Ehrig, Introduction to the Algebraic Theory of Graph Grammars (A Survey), Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, p.1-69, October 30-November 03, 1978
	10	Hartmut Ehrig, Michael Pfender, and Hans Jürgen Schneider. Graph grammars: An algebraic approach. In IEEE Conference of Automata and Switching Theory, pages 167--180, 1973.
	11	Kathleen Fisher , Furio Honsell , John C. Mitchell, A lambda calculus of objects and method specialization, Nordic Journal of Computing, v.1 n.1, p.3-37, Spring 1994
	12	Jason Hickey. Introduction to OCaml, http://caml.inria.fr/tutorials-eng.html. 2002.
	13	Luigi Liquori, On Object Extension, Proceedings of the 12th European Conference on Object-Oriented Programming, p.498-522, July 20-24, 1998
	14	L. Liquori and G. Castagna. A typed lambda calculus of objects. Number 1179 in Lecture Notes in Computer Science, pages 129--141. Sringer-Verlag, 1996.
	15	Robin Milner , Mads Tofte , Robert Harper, The Definition of Standard ML, MIT Press, Cambridge, MA, 1990
	16	Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
	17	Cong-Cong Xing , Boumediene Belkhouche, Object type graphs, 2001