{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:10:30Z","timestamp":1736406630463,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540556680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0053044","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:48:54Z","timestamp":1149652134000},"page":"309-328","source":"Crossref","is-referenced-by-count":1,"title":["ACTS: A type system for object-oriented programming based on abstract and concrete classes"],"prefix":"10.1007","author":[{"given":"Mahesh","family":"Dodani","sequence":"first","affiliation":[]},{"given":"Chung-Shin","family":"Tsai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"U.S. Department of Defense, Reference Manual for the Ada Programming Language, January 1983."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Pierre America, \u201cInheritance and Subtyping in a Parallel Object-Oriented Language\u201d, ECOOP'87, pp. 234\u2013242.","DOI":"10.1007\/3-540-47891-4_22"},{"key":"18_CR3","unstructured":"Andrew P. Black, Norman Hutchinson, \u201cTypechecking Polymorphism in Emerald\u201d, Digital Equipment Corporation, July 1991."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, D. A. Moon, Common Lisp Object System Specification X3J13, In SIGPLAN Notices 23 (Special Issue), September 1988.","DOI":"10.1145\/885631.885632"},{"key":"18_CR5","unstructured":"Peter Canning, Walt Hill, Walter Olthoff, \u201cTowards a Kernel Language for Object-Oriented Programming\u201d, HP Tech. Report STL-88-21."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Peter Canning, W. Cook, Walt Hill, J. Mitchell, Walter Olthoff, \u201cFbounded polymorphism for object-oriented programming\u201d, Proc. of Conf. on Functional Progr. Languages and Comp. Arch., 1989.","DOI":"10.1145\/99370.99392"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Peter Canning, William Cook, Walter Hill, Walter Olthoff, \u201cInterfaces for Strongly-Typed Object-Oriented Programming\u201d, OOPSLA'89, pp. 457\u2013467.","DOI":"10.1145\/74878.74924"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, \u201cA semantics of Multiple Inheritance\u201d, In Semantics of Data Types (Lecture Notes in CS, 173), 1984, pp. 51\u201367.","DOI":"10.1007\/3-540-13346-1_2"},{"issue":"4","key":"18_CR9","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli, Peter Wegner, \u201cOn Understanding Types, Data Abstraction, and Polymorphism\u201d, ACM Computing Surveys 17(4), December 1985, pp. 471\u2013522.","journal-title":"ACM Computing Surveys"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"William Cook, Jens Palsberg, \u201cA Denotational Semantics of Inheritance and its Correctness\u201d, OOPSLA'89, pp. 433\u2013443.","DOI":"10.1145\/74878.74922"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"William Cook, W.L. Hill, P.S. Canning, \u201cInheritance is not subtyping\u201d, 17th ACM Symposium on Principles of Programming Languages, 1990, pp. 125\u2013135.","DOI":"10.1145\/96709.96721"},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/62058.62060","volume":"20","author":"S. Danforth","year":"1988","unstructured":"Scott Danforth, Chris Tomlinson, \u201cType Theories and Object-Oriented Programming\u201d, ACM Computing Surveys 20(1) 1988, pp. 29\u201372.","journal-title":"ACM Computing Surveys"},{"key":"18_CR13","unstructured":"Mahesh Dodani, Chung-Shin Tsai, Tami Siu-Pui Lee, \u201cTOPS: An Environment for Developing and Testing Type Systems for Object-Oriented Programming Languages\u201d, submitted for consideration to OOPSLA'92."},{"key":"18_CR14","unstructured":"Mahesh Dodani, Chung-Shin Tsai, \u201cThe Denotational Semantics of the Abstract\/Concrete Model in SML\u201d, Technical report, Dept. of Computer Science, The University of Iowa, in preparation."},{"key":"18_CR15","volume-title":"Foundations of Object-Oriented Languages","author":"G. Ghelli","year":"1991","unstructured":"Giorgio Ghelli, \u201cModelling features of object-oriented languages in second order functional languages with subtypes\u201d, in Foundations of Object-Oriented Languages (G. Rozenberg ed.), Springer-Verlag, Berlin, 1991."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Giorgio Ghelli, \u201cA Static Type System for Message Passing\u201d, OOPSLA'91, pp. 129\u2013145.","DOI":"10.1145\/118014.117964"},{"key":"18_CR17","unstructured":"Adele Goldberg and David Robson, Smalltalk-80: The Language and its Implementation, Addison-Wesley, 1983."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Justin Graver, Ralph Johnson, \u201cA Type System for Smalltalk\u201d, POPL'90, 136\u2013150.","DOI":"10.1145\/96709.96722"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Samuel Kamin, \u201cInheritance in SMALLTALK-80: A Denotational Definition\u201d, Proceedings of the 15th ACM Symposium on Principles of Programming Languages, January 1988, pp. 80\u201387.","DOI":"10.1145\/73560.73567"},{"key":"18_CR20","unstructured":"Bertrand Meyer, Object-oriented Software Construction, Prentice Hall, 1988."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"John Mitchell, \u201cToward a typed foundation for method specialization and inheritance\u201d, 17th ACM Symposium on Principles of Programming Languages, 1990, pp. 109\u2013124.","DOI":"10.1145\/96709.96719"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cA Proposal for Standard ML\u201d, Proc. ACM Conf. on Lisp and Functional Programming, Austin, 1984.","DOI":"10.1145\/800055.802035"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Uday Reddy, \u201cObjects as Closures: Abstract Semantics of Object Oriented Languages\u201d, 1988 ACM Conference on Lisp and Functional Programming, pp. 289\u2013297.","DOI":"10.1145\/62678.62721"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Kilian, Carrie Wilpolt, \u201cAn Introduction to Trellis\/Owl\u201d, OOPSLA'86, pp. 9\u201316.","DOI":"10.1145\/960112.28699"},{"key":"18_CR25","unstructured":"Alan Snyder, \u201cInheritance and the Development of Encapsulated Software, Components\u201d, In Research Directions in Object-Oriented Programming, pp. 165\u2013188."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"M. Wand, \u201cType inference for record concatenation and multiple inheritance\u201d, Porc. of LICS, 1989, pp. 92\u201397.","DOI":"10.1109\/LICS.1989.39162"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Peter Wegner, Stanley Zdonik, \u201cInheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like\u201d, ECOOP'88, pp. 55\u201377.","DOI":"10.1007\/3-540-45910-3_4"}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201992 European Conference on Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053044.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T06:57:56Z","timestamp":1736405876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540556680"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0053044","relation":{},"subject":[]}}