{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:34Z","timestamp":1725663394609},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:55:49Z","timestamp":1330181749000},"page":"57-84","source":"Crossref","is-referenced-by-count":3,"title":["Semantics of block structured languages with pointers"],"prefix":"10.1007","author":[{"given":"Eric G.","family":"Wagner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"MacLane, S., Categories for the Working Mathematician, Springer-Verlag, (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"4_CR2","unstructured":"Goguen, J. A., Thatcher, J. W., Wagner, E. G., \"An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types,\" Current Trends in Programming Methodology IV: Data Structuring, (R. Yeh, Ed.) Prentice-Hall (1978)."},{"key":"4_CR3","volume-title":"PASCAL User Manual and Report","author":"K. Jensen","year":"1978","unstructured":"Jensen, K., and Wirth, N., PASCAL User Manual and Report, 2nd Ed., Springer-Verlag, New York, Heidelberg, and Berlin, (1978)","edition":"2nd Ed."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Wagner, E. G., \"Categorical Semantics, or Extending Data Types to Include Memory,\" (Invited Paper) Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types, Selected Papers (H.-J. Kreowski, Ed.) Informatik-Fachberichte 116, Springer-Verlag, (1985) pp. 1\u201321.","DOI":"10.1007\/978-3-662-09691-8_1"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Wagner, E. G., \"Algebraic Theories, Data Types, and Control Constructs,\" Fundamenta Informaticae IX (1986) 343\u2013370.","DOI":"10.3233\/FI-1986-9305"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Wagner, E. G., \"Categories, Data Types, and Imperative Languages,\" (invited lecture) Category Theory and Computer Programming, (Tutorial and Workshop, Guildford, U.K., September 1985, Proceedings) (Pitt, D., Abramsky, S., Poigne, A., Rydeheard, D., Eds.) LNCS 240, Springer-Verlag (1986), pp 143\u2013162.","DOI":"10.1007\/3-540-17162-2_120"},{"key":"4_CR7","volume-title":"A Theory of Programming Language Semantics","author":"R. E. Milne","year":"1976","unstructured":"Milne, R. E., and Strachey, C., A Theory of Programming Language Semantics Champan and Hall, London, and John Wiley, New York, (1976)"},{"key":"4_CR8","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J. E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass. and London, England, (1977)"},{"key":"4_CR9","unstructured":"Oles, F. J., A Category-Theoretic Approach to the Semantics of Programming Languages, PhD Dissertation, School of Computer Science, Syracuse University, August 1982."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"Landin, P. J., \"The Mechanical Evaluation of Expressions,\" Computer Jour., 6, (1964) pp.308\u2013320.","journal-title":"Computer Jour."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Lehmann, D. J., and Smyth, M. B., \"Data Types:, Proceedings of the 18th IEEE Symposium on the Foundations of Computing, Providence, R.I., Nov. 1977, pp.7\u201312.","DOI":"10.1109\/SFCS.1977.10"},{"key":"4_CR12","unstructured":"Robinson, E., and Rosolini, G., Categories of Partial Maps, Manuscript, submitted for publication."},{"key":"4_CR13","first-page":"373","volume-title":"Colloquia Mathematica Societatis Janos Bolyai, 29","author":"H-J. Hoehnke","year":"1977","unstructured":"Hoehnke, H-J., \"On Partial Algebras,\" Colloquia Mathematica Societatis Janos Bolyai, 29. Universal Algebra, Esztergom (Hungary), 1977. pp 373\u2013412."},{"key":"4_CR14","unstructured":"Hoehnke, H.-J., \"On Yoneda-Schreckenberger's Embedding of a class of Monoidal Categories,\" 1985, submitted for publication."},{"key":"4_CR15","unstructured":"Schreckenberger, J., \"\u00dcber die Einbettung von dht-symmetrischen Kategorien in die Kategorie der partiellen Abbildungen zwischen Mengen,\" Preprint P-12\/80, Akad. Wiss. der DDR, ZI Math. und Mech., Berlin 1980."},{"key":"4_CR16","unstructured":"Bloom, S. L., and Wagner, E. G., \"Many-sorted theories and their Algebras with some Applications to Data Types,\" Algebraic Methods in Semantics, (M. Nivat, and J. C. Reynolds, Eds.), Cambridge University Press, 1985, pp 133\u2013168."},{"key":"4_CR17","first-page":"1","volume":"21","author":"W. Lawvere","year":"1963","unstructured":"Lawvere, W., Functorial Semantics of Algebraic Theories, Proc. Nat. Acad. Sci., 21 (1963) pp 1\u201323.","journal-title":"Proc. Nat. Acad. Sci."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:21:37Z","timestamp":1640899297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}