{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:30:36Z","timestamp":1743046236304,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48483-3_1","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Algebraic Framework for Separate Type-Checking"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"A. R","year":"1993","unstructured":"R. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575\u2013631, September 1993. Extended abstract in POPL 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR2","unstructured":"D. Ancona. Modular Formal Frameworks for Module Systems. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, March 1998."},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 12th International Workshop, WADT \u201997, Tarquinia, Italy, June 1997","author":"D. Ancona","year":"1998","unstructured":"D. Ancona and E. Zucca. An algebra of mixin modules. In F. Parisi-Presicce, editor, Proc. 12th International Workshop, WADT \u201997, Tarquinia, Italy, June 1997. Selected Papers, volume 1376 of Lecture Notes in Computer Science, Berlin, 1998. Springer Verlag. To appear."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules: basic and derived operators. Mathematical Structures in Computer Science, 1998. To appear.","DOI":"10.1017\/S0960129598002576"},{"key":"1_CR5","unstructured":"D. Aspinall. Type Systems for Modular Programs and Specications. PhD thesis, Department of Computer Science, University of Edinburgh, August 1997."},{"key":"1_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0053058","volume-title":"Proc. of European Conference on Object-Oriented Programming","author":"G. Banavar","year":"1996","unstructured":"G. Banavar and G. Lindstrom. An application framework for module composition tools. In Proc. of European Conference on Object-Oriented Programming number 1098 in Lecture Notes in Computer Science, pages 91\u2013113. Springer Verlag, July 1996."},{"key":"1_CR7","unstructured":"S. Bloom and E. Wagner. Many-sorted theories and their algebras, with examples from computer science. In US-French Joint Symp. on the Applications of Algebra to language denition and Compilation, Fontainebleau, 1982."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"G. Bracha and G. Lindstrom. Modularity meets inheritance. In Proc. International Conference on Computer Languages, pages 282\u2013290, San Francisco, April 1992. IEEE Computer Society.","DOI":"10.1109\/ICCL.1992.185492"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Program fragments, linking, and modularization. In Proc. 24th ACM Symp. on Principles of Programming Languages, pages 266\u2013277. ACM Press, January 1997.","DOI":"10.1145\/263699.263735"},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1007\/BFb0030630","volume-title":"Proc. TAPSOFT \u201997: Theory and Practice of Software Development","author":"J. Courant","year":"1997","unstructured":"J. Courant. An applicative module calculus. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT \u201997: Theory and Practice of Software Development, number 1217 in Lecture Notes in Computer Science, pages 622\u2013636. Springer Verlag, April 1997."},{"key":"1_CR11","unstructured":"J. Courant. MC: un calcul de modules pour les syst\u00e8mes de types purs. PhD thesis, \u00c9cole normale sup\u00e9rieure de Lyon, 1998."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"D. Duggan and C. Sourelis. Mixin modules. In Intl. Conf. on Functional Programming, Philadelphia, May 1996. ACM Press.","DOI":"10.1145\/232627.232654"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specication 2. Module Specications and Constraints, volume 21 of EATCS Monograph in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/978-3-642-61284-8_8"},{"key":"1_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Selected Papers from the 5th Workshop on Specication of Abstract Data Types","author":"J. Fiadeiro","year":"1988","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In Selected Papers from the 5th Workshop on Specication of Abstract Data Types, number 332 in Lecture Notes in Computer Science, pages 44\u201372. Springer Verlag, 1988."},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. Burstall. Institutions: abstract model theory for specication and programming. Journ. ACM, 39(1):95\u2013146, 1992.","journal-title":"Journ. ACM"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"R. Harper and M. Lillibridge. A type theoretic approach to higher-order modules with sharing. In Proc. 21st ACM Symp. on Principles of Programming Languages, pages 127\u2013137. ACM Press, 1994.","DOI":"10.1145\/174675.176927"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"R. Harper, M. Lillibridge, and E. Moggi. Higher-order modules and the phase distinction. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 341\u2013354, S. Francisco, CA, January 1990. ACM Press.","DOI":"10.1145\/96709.96744"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"R. Harper, D. Sannella, and A. Tarlecki. Structure theory presentations and logic representations. Annals of Pure and Applied Logic, 67:113\u2013160, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"M. P. Jones. A system of constructor classes: Overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), January 1995.","DOI":"10.1017\/S0956796800001210"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"M. P. Jones. Using parameterized signatures to express modular structure. In Proc. 23rd ACM Symp. on Principles of Programming Languages, pages 68\u201378, St. Petersburg Beach, Florida, Jan 1996. ACM Press.","DOI":"10.1145\/237721.237731"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"X. Leroy. Manifest types, modules and separate compilation. In Proc. 21st ACM Symp. on Principles of Programming Languages, pages 109\u2013122. ACM Press, 1994.","DOI":"10.1145\/174675.176926"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"X. Leroy. Applicative functors and fully transparent higher-order modules. In Proc. 22nd ACM Symp. on Principles of Programming Languages. ACM Press, 1995.","DOI":"10.1145\/199448.199476"},{"key":"1_CR23","unstructured":"X. Leroy. A modular module system. Technical Report 2866, INRIA, April 1996."},{"key":"1_CR24","first-page":"1","volume":"3","author":"M. Van Limberghen","year":"1996","unstructured":"M. Van Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Systems, 3:1\u201330, 1996.","journal-title":"Object Oriented Systems"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logic. In Logic Colloquium \u201987, pages 275\u2013329. North Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"1_CR26","unstructured":"B. Meyer. Eiffel: The language. Prentice Hall, 1992."},{"key":"1_CR27","volume-title":"The Denition of Standard ML","author":"R. Milner","year":"1990","unstructured":"R. Milner, M. Tofte, and R. Harper. The Denition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997.","DOI":"10.1145\/263699.263715"},{"issue":"12","key":"1_CR29","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"5","author":"D.L. Parnas","year":"1972","unstructured":"D.L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 5(12):1053\u20131058, December 1972.","journal-title":"Communications of the ACM"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"D. Sannella, S. Sokolowoski, and A. Tarlecki. Toward formal development of programs from algebraic specications: Parameterisation revisited. Acta Informatica, 29:689\u2013736, 1992.","journal-title":"Acta Informatica"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella and A. Tarlecki. Specication in an arbitrary institution. Information and Computation, 76:165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation\u2013Part III: Indexed categories. TCS, 91:239\u2013264, 1991.","journal-title":"TCS"},{"key":"1_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-61739-6_52","volume-title":"Proc. of the Third International Static Analysis Symposium","author":"V. Trifonov","year":"1996","unstructured":"V. Trifonov and S. Smith. Subtyping constrained types. In Proc. of the Third International Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science, pages 349\u2013365. Springer Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:15:12Z","timestamp":1739992512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}