{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:11Z","timestamp":1762458551130},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661580"},{"type":"electronic","value":"9783540487371"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48737-9_7","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:08:36Z","timestamp":1181182116000},"page":"241-269","source":"Crossref","is-referenced-by-count":41,"title":["A Programmer\u2019s Reduction Semantics for Classes and Mixins"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Flatt","sequence":"first","affiliation":[]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-57887-0_101","volume-title":"Theoretical Aspects of Computer Software","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., and Cardelli, L. A theory of primitive objects \u2014 untyped and first-order systems. In Theoretical Aspects of Computer Software, M. Hagiya and J. C. Mitchell, Eds., vol. 789 of LNCS. Springer-Verlag, Apr. 1994, pp. 296\u2013320."},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. European Symposium on Programming","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., and Cardelli, L. A theory of primitive objects: second-order systems. In Proc. European Symposium on Programming (New York, N.Y., 1994), D. Sannella, Ed., Lecture Notes in Computer Science 788, Springer Verlag, pp. 1\u201325."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","first-page":"471","volume-title":"TAPSOFT\u201995: Theory and Practice of Software Development","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., and Cardelli, L. An imperative object calculus. In TAPSOFT\u201995: Theory and Practice of Software Development May 1995), P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, Eds., Lecture Notes in Computer Science 915, Springer-Verlag, pp. 471\u2013485."},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61735-3_12","volume-title":"Proc. Conference on Algebraic and Logic Programming","author":"D. Ancona","year":"1996","unstructured":"Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Proc. Conference on Algebraic and Logic Programming (Berlin, 1996), M. Hanus and M. Rodr\u00edguez-Artalejo, Eds., Lecture Notes in Computer Science 1139, Springer Verlag, pp. 179\u2013193."},{"key":"7_CR5","unstructured":"Bracha, G. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah, Mar. 1992."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bracha, G., and Cook, W. Mixin-based inheritance. In Proc. Joint ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications and the European Conference on Object-Oriented Programming Oct. 1990.","DOI":"10.1145\/97945.97982"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bracha, G., and Lindstrom, G. Modularity meets inheritance. In Proc. IEEE Computer Society International Conference on Computer Languages Washington, DC, Apr. 1992, IEEE Computer Society, pp. 282\u2013290.","DOI":"10.1109\/ICCL.1992.185492"},{"key":"7_CR8","volume-title":"Ph.D. thesis","author":"W. R. Cook","year":"1989","unstructured":"Cook, W. R.A Denotational Semantics of Inheritance. Ph.D. thesis, Department of Computer Science, Brown University, Providence, RI, May 1989."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Drossopolou, S., and Eisenbach, S. Java is typesafe-probably. In Proc. European Conference on Object Oriented Programming June 1997.","DOI":"10.1007\/BFb0053388"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ducournau, R., Habib, M., Huchard, M., and Mugnier, M. L. Monotonic conflict resolution mechanisms for inheritance. In Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications Oct. 1992, pp. 16\u201324.","DOI":"10.1145\/141936.141939"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Eifrig, J., Smith, S., Trifonov, V., and Zwarico, A. Application of OOP type theory: State, decidability, integration. In Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications Oct. 1994, pp. 16\u201330.","DOI":"10.1145\/191080.191086"},{"key":"7_CR12","unstructured":"Felleisen, M. Programming languages and lambda calculi. URL: www.cs.rice.edu\/~matthias\/411web\/mono.ps ."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Felleisen, M., and Hieb, R. The revised report on the syntactic theories of sequential control and state. Tech. Rep. 100, Rice University, June 1989. Theoretical Computer Science, volume 102, 1992, pp. 235\u2013271.","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs 1997, pp. 369\u2013388.","DOI":"10.1007\/BFb0033856"},{"key":"7_CR15","unstructured":"Flatt, M. PLT MzScheme: Language manual. Tech. Rep. TR97-280, Rice University, 1997."},{"key":"7_CR16","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlissides, J.Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley, Massachusetts, 1994."},{"key":"7_CR17","series-title":"The Java Series","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., and Steele, G.The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA, USA, June 1996."},{"key":"7_CR18","unstructured":"Harper, R., and Stone, C. A type-theoretic semantics for Standard ML 1996. Submitted for publication, 1997."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Kamin, S. Inheritance in SMALLTALK-80: a denotational definition. In Proc. ACM Symposium on Principles of Programming Languages Jan. 1988.","DOI":"10.1145\/73560.73567"},{"key":"7_CR20","volume-title":"LISP, Objects, and Symbolic Programming","author":"R.R. Kessler","year":"1988","unstructured":"Kessler, R.R.LISP, Objects, and Symbolic Programming. Scott, Foresman and Company, Glenview, IL, USA, 1988."},{"key":"7_CR21","volume-title":"The Common LISP Companion","author":"T. Koschmann","year":"1990","unstructured":"Koschmann, T.The Common LISP Companion. John Wiley and Sons, New York, N.Y., 1990."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Mason, I.A., and Talcott, C. L. Reasoning about object systems in VTLoE. International Journal of Foundations of Computer Science 6,3 Sept. 1995, 265\u2013298.","DOI":"10.1142\/S0129054195000160"},{"key":"7_CR23","unstructured":"Palsberg, J., and Schwartzbach, M. I.Object-oriented Type Systems. John Wiley & Sons, 1994."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Reddy, U.S. Objects as closures: Abstract semantics of object oriented languages. In Proc. Conference on Lisp and Functional Programming July 1988, pp. 289\u2013297.","DOI":"10.1145\/62678.62721"},{"key":"7_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-57887-0_102","volume-title":"Theoretical Aspects of Computer Software","author":"D. R\u00e9my","year":"1994","unstructured":"R\u00e9my, D. Programming objects with ML-ART: An extension to ML with abstract and record types. In Theoretical Aspects of Computer Software (New York, N.Y., Apr. 1994, M. Hagiya and J. C. Mitchell, Eds., Lecture Notes in Computer Science 789, Springer-Verlag, pp. 321\u2013346."},{"key":"7_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/BFb0053065","volume-title":"Proc. European Conference on Object-Oriented Programming","author":"J. G. Rossie","year":"1996","unstructured":"Rossie, J. G., Friedman, D.P., and Wand, M. Modeling subobject-based inheritance. In Proc. European Conference on Object-Oriented Programming (Berlin, Heidelberg, and New York, July 1996), P Cointe, Ed., Lecture Notes in Computer Science 1098, Springer-Verlag, pp. 248\u2013274."},{"key":"7_CR27","unstructured":"Snyder, A. Inheritance and the development of encapsulated software components. In Research Directions in Object-Oriented Programming. MIT Press, 1987, pp. 165\u2013188."},{"key":"7_CR28","unstructured":"Syme, D. Proving Java type soundness. Tech. Rep. 427, University of Cambridge, July 1997."},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Wright, A., and Felleisen, M. A syntactic approach to type soundness. Tech. Rep. 160, Rice University, 1991. Information and Computation, volume 115(1), 1994, pp. 38\u201394.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Syntax and Semantics of Java"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48737-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:43:08Z","timestamp":1556480588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48737-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661580","9783540487371"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-48737-9_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}