{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:10:09Z","timestamp":1742595009918,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:57:35Z","timestamp":1330250255000},"page":"151-166","source":"Crossref","is-referenced-by-count":4,"title":["Extraction of strong typing laws from action semantics definitions"],"prefix":"10.1007","author":[{"given":"Kyung-Goo","family":"Doh","sequence":"first","affiliation":[]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0167-6423(83)90022-9","volume":"3","author":"R. Barbuti","year":"1983","unstructured":"R. Barbuti and A. Martelli. A structured approach to static semantics correctness. Science of Computer Programming, 3:279\u2013311, 1983.","journal-title":"Science of Computer Programming"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Heuk Barendregt and Kees Hermerik. Types in lambda calculi and programming languages. In Neil D. Jones, editor, ESOP90, Proceedings of European Symposium on Programming, pages 1\u201335. Lecture Notes in Computer Science 432, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_53"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science 98","volume-title":"Towards a formal description of ADA","year":"1980","unstructured":"D. Bj\u00f8rner and O.N. Oest, editors. Towards a formal description of ADA. Lecture Notes in Computer Science 98. Springer, Berlin, 1980."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Deryck Brown, Hermano Moura, and David Watt. Towards a realistic semantics-directed compiler generator. In Proceedings of Glasgow Functional Programming Workshop, Isle of Skye, Scotland, 1991.","DOI":"10.1007\/978-1-4471-3196-0_4"},{"issue":"4","key":"9_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Charles Consel and Olivier Danvy. Static and dynamic semantics processing. In Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, pages 14\u201324, 1991.","DOI":"10.1145\/99583.99588"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"9_CR8","first-page":"29","volume-title":"Lecture Notes in Mathematics 125","author":"N. G. Bruijn de","year":"1970","unstructured":"N.G. de Bruijn. The Mathematical Language AUTOMATH, its usage, and some of its extensions, pages 29\u201361. Lecture Notes in Mathematics 125. Springer, Berlin, 1970."},{"key":"9_CR9","unstructured":"Kyung-Goo Doh. Action semantics-directed prototyping. PhD thesis, Kansas State University, Manhattan, Kansas, USA, forthcoming."},{"key":"9_CR10","unstructured":"J. Donahue. Complementary Definitions of Programming Language Semantics. Lecture Notes in Computer Science 42. Springer-Verlag, 1976."},{"key":"9_CR11","first-page":"391","volume-title":"Formal Description of Programming Concepts","author":"A. P. Ershov","year":"1978","unstructured":"A.P. Ershov. On the essence of compilation. In Formal Description of Programming Concepts, pages 391\u2013420. IFIP, North-Holland, Amsterdam, 1978."},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(90)90116-Y","volume":"77","author":"S. Even","year":"1990","unstructured":"Susan Even and David A. Schmidt. Category-sorted algebra-based action semantics. Theoretical Computer Science, 77:71\u201395, 1990.","journal-title":"Theoretical Computer Science"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Susan Even and David A. Schmidt. Type inference for action semantics. In Neil D. Jones, editor, ESOP90, Proceedings of European Symposium on Programming, pages 118\u2013133. Lecture Notes in Computer Science 432, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_59"},{"issue":"5","key":"9_CR14","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Y. Futamura. Partial evaluation of computation process \u2014 an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"issue":"1","key":"9_CR15","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"Neil D. D. Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft, and Harald Sondergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. Journal of LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"Journal of LISP and Symbolic Computation"},{"key":"9_CR16","volume-title":"Realistic Compiler Generation","author":"P. Lee","year":"1989","unstructured":"Peter Lee. Realistic Compiler Generation. The MIT Press, Cambridge, Massachusetts, 1989."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Peter Lee and Uwe F. Pleban. A realistic compiler generator based on high-level semantics. In Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, pages 284\u2013295, 1987.","DOI":"10.1145\/41625.41651"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"John C. Mitchell and Robert Harper. The essence of ML. In POPL88, Proceedings of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 28\u201346. ACM, 1988.","DOI":"10.1145\/73560.73563"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Margaret Montenyohl and Mitchell Wand. Correct flow analysis in continuation semantics. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 204\u2013218, 1988.","DOI":"10.1145\/73560.73578"},{"key":"9_CR20","first-page":"45","volume-title":"Abstract semantic algebras","author":"Peter D. D. Mosses","year":"1983","unstructured":"Peter D. Mosses. Abstract semantic algebras. In Formal Description of Programming Concepts II, Proceedings of the IFIP TC2 Working Conference, Garmisch-Partenkirchen, 1982, pages 45\u201372. IFIP, North-Holland, Amsterdam, 1983."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. Unified algebras and action semantics. In STACS89, Proceedings of Symposium on Theoretical Aspects Computer Science, Paderborn. No. 349, Lecture Notes in Computer Science, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0028970"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. Unified algebras and institutions. In LICS89, Proceedings of the 4th Annual Symposium on Logic in Computer Science, pages 304\u2013312. IEEE, 1989.","DOI":"10.1109\/LICS.1989.39185"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. Unified algebras and modules. In POPL89, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, pages 329\u2013343. ACM, 1989.","DOI":"10.1145\/75277.75306"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. An introduction to action semantics. In Lecture Notes for the Marktoberdorf Summer School, 1991.","DOI":"10.7146\/dpb.v20i370.6602"},{"key":"9_CR25","volume-title":"Tracts in Theoretical Computer Science","author":"Peter D. D. Mosses","year":"1992","unstructured":"Peter D. Mosses. Action Semantics. Tracts in Theoretical Computer Science. Cambridge University Press, Newton, Massachusetts, 1992."},{"key":"9_CR26","volume-title":"Formal Description of Programming Concepts III","author":"Peter D. D. Mosses","year":"1987","unstructured":"Peter D. Mosses and David A. Watt. The use of action semantics. In Formal Description of Programming Concepts III. IFIP, North-Holland, Amsterdam, 1987."},{"issue":"1","key":"9_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"P. Naur","year":"1963","unstructured":"P. Naur. Revised report on the algorithmic language Algol 60. Communications of the ACM, 6(1):1\u201317, 1963.","journal-title":"Communications of the ACM"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne Riis Nielson. Code generation from two level denotational meta-languages. In Neil D. Jones, editor, Programs as Data Objects, pages 192\u2013205. Lecture Notes in Computer Science 217, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16446-4_11"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne Riis Nielson. Pragmatic aspects of two-level denotational metalanguages. In Neil D. Jones, editor, ESOP86, Proceedings of European Symposium on Programming, pages 133\u2013143. Lecture Notes in Computer Science 213, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16442-1_10"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"John Reynolds. Using category theory to design implicit conversions and generic operators. In Neil D. Jones, editor, Semantics-Directed Compiler Generation, pages 211\u2013258. Lecture Notes in Computer Science 94, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10250-7_24"},{"key":"9_CR31","first-page":"345","volume-title":"Algorithmic Languages","author":"J. Reynolds","year":"1981","unstructured":"John Reynolds. The essence of Algol. In J. deBakker and J.C. van Vliet, editors, Algorithmic Languages, pages 345\u2013372. North-Holland, Amsterdam, 1981."},{"key":"9_CR32","volume-title":"Course lecture notes","author":"J. Reynolds","year":"1988","unstructured":"John Reynolds. Semantics as a design tool. Course lecture notes, Computer Science Dept., Carnegie-Mellon University, Pittsburgh, PA, 1988."},{"key":"9_CR33","volume-title":"Denotational Semantics \u2014 A Methodology for Language Development","author":"David A. A. Schmidt","year":"1986","unstructured":"David A. Schmidt. Denotational Semantics \u2014 A Methodology for Language Development. Allyn and Bacon, Newton, Massachusetts, 1986."},{"key":"9_CR34","volume-title":"Principles of Programming Languages","author":"Robert D. D. Tennent","year":"1981","unstructured":"Robert D. Tennent. Principles of Programming Languages. Prentice-Hall International, Englewood Cliffs, New Jersey, 1981."},{"issue":"3","key":"9_CR35","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"V.F. Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, 8(3):292\u2013325, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR36","volume-title":"Programming Language Syntax and Semantics","author":"David A. A. Watt","year":"1991","unstructured":"David A. Watt. Programming Language Syntax and Semantics. Prentice-Hall International, Englewood Cliffs, New Jersey, 1991."}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:32:50Z","timestamp":1742592770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}