{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T17:52:33Z","timestamp":1673373153284},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1007\/bf01744285","type":"journal-article","created":{"date-parts":[[2005,6,16]],"date-time":"2005-06-16T04:45:05Z","timestamp":1118897105000},"page":"1-27","source":"Crossref","is-referenced-by-count":53,"title":["An order-algebraic definition of knuthian semantics"],"prefix":"10.1007","volume":"13","author":[{"given":"Laurian M.","family":"Chirica","sequence":"first","affiliation":[]},{"given":"David F.","family":"Martin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01744285_CR1","unstructured":"D. M. Berry, On the Design and Specification of the Programming Language OREGANO, Computer Science Department, University of California, Los Angeles, UCLA-ENG-7388, January 1974."},{"key":"BF01744285_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"G. Birkhoff and J. D. Lipson, Heterogeneous Algebras,J. Combinatorial Theory, 8, 115\u2013113, 1970.","journal-title":"J. Combinatorial Theory"},{"issue":"2","key":"BF01744285_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/359997.359999","volume":"19","author":"G. V. Bochmann","year":"1976","unstructured":"G. V. Bochmann, Semantic Evaluation from Left to Right,Communications of the ACM, 19(2), 55\u201362, February 1976.","journal-title":"Communications of the ACM"},{"key":"BF01744285_CR4","unstructured":"L. M. Chirica, Contributions to Compiler Correctness, Computer Science Department, University of California, Los Angeles, UCLA-ENG-7697, October 1976."},{"key":"BF01744285_CR5","first-page":"127","volume-title":"Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, October 1976","author":"L. M. Chirica","year":"1976","unstructured":"L. M. Chirica and D. F. Martin, An Algebraic Formulation of Knuthian Semantics,Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, October 1976, IEEE, New York, 127\u2013136, 1976."},{"key":"BF01744285_CR6","volume-title":"Attributed Grammars and Languages, Department d' Informatique","author":"K. Culic","year":"1969","unstructured":"K. Culic, Attributed Grammars and Languages, Department d' Informatique, Universite de Montreal, Montreal, 1969."},{"key":"BF01744285_CR7","unstructured":"J. W. DeBakker, Recursive Procedures, Mathematical Center, Amsterdam, Report No. MC-24, 1971."},{"key":"BF01744285_CR8","unstructured":"T. A. Dreisbach, A Declarative Semantic Definition of PL360, Computer Science Department, University of California, Los Angeles, UCLA-ENG-7289, 1972."},{"key":"BF01744285_CR9","volume-title":"FOLDS\u2014A Declarative Formal Language Definition System","author":"I. Fang","year":"1972","unstructured":"I. Fang, FOLDS\u2014A Declarative Formal Language Definition System, Computer Science Department, Stanford University, Palo Alto, California, STAN-CS-329, December 1972."},{"key":"BF01744285_CR10","first-page":"54","volume-title":"Proceedings of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, January 1975","author":"S. Gerhart","year":"1975","unstructured":"S. Gerhart, Correctness Preserving Program Transformations,Proceedings of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, January 1975, ACM, New York, 54\u201366, 1975."},{"key":"BF01744285_CR11","first-page":"63","volume-title":"Proceedings of the 15th IEEE Symposium on Switching and Automata Theory, New Orleans, Louisiana, October 1974","author":"J. A. Goguen","year":"1974","unstructured":"J. A. Goguen and J. W. Thatcher, Initial Algebra Semantics,Proceedings of the 15th IEEE Symposium on Switching and Automata Theory, New Orleans, Louisiana, October 1974, IEEE, New York, 63\u201377, 1974."},{"issue":"1","key":"BF01744285_CR12","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright, Initial Algebra Semantics and Continuous Algebras,Journal of the ACM, 24(1), 68\u201395, January 1977.","journal-title":"Journal of the ACM"},{"issue":"12","key":"BF01744285_CR13","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"M. Jazayeri, W. F. Ogden and W. C. Rounds, The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars,Communications of the ACM, 18(12), 697\u2013706, December 1975.","journal-title":"Communications of the ACM"},{"key":"BF01744285_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth, Semantics of Context-Free Languages,Math. Syst. Th., 2, 127\u2013145, 1968.","journal-title":"Math. Syst. Th."},{"key":"BF01744285_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01702865","volume":"5","author":"D. E. Knuth","year":"1971","unstructured":"D. E. Knuth, Semantics of Context-Free Languages: Correction,Math. Syst. Th., 5, 95\u201396, 1971.","journal-title":"Math. Syst. Th."},{"key":"BF01744285_CR16","first-page":"212","volume-title":"Lecture Notes in Math. No. 188","author":"D. E. Knuth","year":"1971","unstructured":"D. E. Knuth, Examples of Formal Semantics,Lecture Notes in Math. No. 188, Springer-Verlag, Berlin, 212\u2013235, 1971."},{"key":"BF01744285_CR17","volume-title":"ALGOL 68 Implementation","author":"C. H. A. Koster","year":"1971","unstructured":"C. H. A. Koster, Affix Grammars,ALGOL 68 Implementation, North-Holland, Amsterdam, 1971."},{"key":"BF01744285_CR18","first-page":"32","volume-title":"Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, January 1976","author":"K. Kennedy","year":"1976","unstructured":"K. Kennedy and S. K. Warren, Automatic Generation of Efficient Evaluators for Attribute Grammars,Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, January 1976, ACM, New York, 32\u201349, 1976."},{"key":"BF01744285_CR19","first-page":"125","volume-title":"Proceedings of ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, October 1973","author":"P. M. Lewis","year":"1973","unstructured":"P. M. Lewis and B. K. Rosen, Recursively Defined Data Types,Proceedings of ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, October 1973, ACM, New York, 125\u2013138, 1973."},{"key":"BF01744285_CR20","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0022-0000(74)80045-0","volume":"9","author":"P. M. Lewis","year":"1974","unstructured":"P. M. Lewis, D. J. Rosenkrantz and R. E. Stearns, Attributed Translations,Journal of Computer and System Science, 9, 279\u2013307, 1974.","journal-title":"Journal of Computer and System Science"},{"key":"BF01744285_CR21","volume-title":"Compiler Design Theory","author":"P. M. Lewis","year":"1976","unstructured":"P. M. Lewis, D. J. Rosenkrantz and R. E. Stearns,Compiler Design Theory, Addison-Wesley, Reading, Massachusetts, 1976."},{"issue":"1","key":"BF01744285_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02485815","volume":"6","author":"G. Markowsky","year":"1976","unstructured":"G. Markowsky, Chain-Complete Posets and Directed Sets with Applications,Algebra Universalis, 6(1), 53\u201368, 1976.","journal-title":"Algebra Universalis"},{"key":"BF01744285_CR23","first-page":"129","volume-title":"Proceedings of the Second Annual ACM Symposium on Theory of Computing, Northhampton, Massachusetts, May 1970","author":"D. F. Martin","year":"1970","unstructured":"D. F. Martin and S. A. Vere, On Syntax-Directed Transduction and Tree Transducers,Proceedings of the Second Annual ACM Symposium on Theory of Computing, Northhampton, Massachusetts, May 1970, ACM, New York, 129\u2013135, 1970."},{"key":"BF01744285_CR24","first-page":"1","volume-title":"Proceedings of ACM National Conference, San Diego, California, November 1974","author":"D. Neel","year":"1974","unstructured":"D. Neel and M. Amirchahy, Semantic Attributes and Improvement of Generated Code,Proceedings of ACM National Conference, San Diego, California, November 1974, ACM, New York, 1\u201310, 1974."},{"key":"BF01744285_CR25","volume-title":"Semantic Interpretation in the REQUEST System","author":"S. R. Petrick","year":"1973","unstructured":"S. R. Petrick, Semantic Interpretation in the REQUEST System, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, Research Report RC4457, July 1973."},{"key":"BF01744285_CR26","first-page":"169","volume-title":"Proceedings of the Fourth Annual Princeton Conference on Information Science and Systems, Princeton, New Jersey, 1970","author":"D. Scott","year":"1970","unstructured":"D. Scott, Outline of a Mathematical Theory of Computation,Proceedings of the Fourth Annual Princeton Conference on Information Science and Systems, Princeton, New Jersey, 1970, Department of Electrical Engineering, Princeton University, Princeton, New Jersey, 169\u2013176, 1970."},{"key":"BF01744285_CR27","unstructured":"D. Scott, Data Types as Lattices, Unpublished Lecture Notes, Amsterdam, 1972."},{"key":"BF01744285_CR28","first-page":"225","volume-title":"Proceedings of the AFIPS Spring Joint Computer Conference, Atlantic City, New Jersey, May 1972","author":"D. Scott","year":"1972","unstructured":"D. Scott, Mathematical Concepts in Programming Language Semantics,Proceedings of the AFIPS Spring Joint Computer Conference, Atlantic City, New Jersey, May 1972, AFIPS Press, Montvale, New Jersey, 225\u2013234, 1972."},{"key":"BF01744285_CR29","unstructured":"D. Scott and C. Strachey, Toward a Mathematical Semantics for Computer Languages,Proc. Symp. on Computers and Automata (J. Fox, Ed.), Microwave Research Institute Symposia Series Vol. 21, Polytechnic Institute of Brooklyn, 19\u201346, 1971."},{"key":"BF01744285_CR30","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1016\/S0019-9958(69)90312-X","volume":"14","author":"R. E. Stearns","year":"1969","unstructured":"R. E. Stearns and P. M. Lewis, Property Grammars and Table Machines,Information and Control, 14, 524\u2013549, 1969.","journal-title":"Information and Control"},{"key":"BF01744285_CR31","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"J. E. Stoy,Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, 1977."},{"key":"BF01744285_CR32","volume-title":"Declarative Semantic Definition","author":"W. T. Wilner","year":"1971","unstructured":"W. T. Wilner, Declarative Semantic Definition, Computer Science Department, Stanford University, Palo Alto, California, STAN-CS-233-71, 1971."},{"key":"BF01744285_CR33","first-page":"25","volume-title":"Proceedings of Courant Institute Computer Science Symposium, New York, September 1970","author":"W. T. Wilner","year":"1972","unstructured":"W. T. Wilner, Formal Semantic Definition Using Synthesized and Inherited Attributes,Proceedings of Courant Institute Computer Science Symposium, New York, September 1970, Prentice-Hall, Englewood Cliffs, New Jersey, Vol. 2, 25\u201339, 1972."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01744285.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01744285\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01744285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T11:00:30Z","timestamp":1557313230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01744285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["BF01744285"],"URL":"http:\/\/dx.doi.org\/10.1007\/bf01744285","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":["Computational Theory and Mathematics","General Mathematics","Theoretical Computer Science","Computational Theory and Mathematics","Theoretical Computer Science"],"published":{"date-parts":[[1979,12]]}}}