{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T06:53:48Z","timestamp":1672469628215},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf00271641","type":"journal-article","created":{"date-parts":[[2004,9,30]],"date-time":"2004-09-30T10:51:48Z","timestamp":1096541508000},"page":"443-472","source":"Crossref","is-referenced-by-count":14,"title":["A set-theoretic semantics for Clear"],"prefix":"10.1007","volume":"21","author":[{"given":"D. T.","family":"Sannella","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/357162.357170","volume":"4","author":"E.A. Ashcroft","year":"1982","unstructured":"Ashcroft, E.A., Wadge, W.W.: R x for semantics. TOPLAS 4, 283?294 (1982)","journal-title":"TOPLAS"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: (the CIP Language Group) Report on a wide spectrum language for program specification and development. Report TUM-I8104, Technische Universit\u00e4t M\u00fcnchen, 1981","DOI":"10.1016\/0167-6423(81)90006-X"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial abstract types. Acta Informat. 18, 47?64 (1982)","journal-title":"Acta Informat."},{"key":"CR4","unstructured":"Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, pp. 1045?1058, 1977"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. Springer LNCS 86, pp. 292?332, 1980","DOI":"10.1007\/3-540-10007-5_41"},{"key":"CR6","first-page":"185","volume-title":"The Correctness Problem in Computer Science","author":"R.M. Burstall","year":"1981","unstructured":"Burstall, R.M., Goguen, J.A.: An informal introduction to specifications using Clear. In: The Correctness Problem in Computer Science. R.S. Boyer, J.S. Moore (eds.). New York: Academic Press, pp. 185?213, 1981"},{"key":"CR7","unstructured":"Ehrig, H., Fey, W., Hansen, H.: ACT ONE: an algebraic specification language with two levels of semantics. Report Nr. 83-03, Institut f\u00fcr Software und Theoretische Informatik, Technische Universit\u00e4t Berlin, 1983"},{"key":"CR8","unstructured":"Ehrig, H., Thatcher, J.W., Lucas, P., Zilles, S.N.: Denotational and initial algebra semantics of the algebraic specification language LOOK Draft report, IBM research, 1982"},{"key":"CR9","unstructured":"Ehrig, H., Wagner, E.G., Thatcher, J.W.: Algebraic constraints for specifications and canonical form results (draft version). Report Nr. 82-09, Institut f\u00fcr Software und Theoretische Informatik, Technische Universit\u00e4t Berlin, 1982"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Wagner, E.G., Thatcher, J.W.: Algebraic specifications with generating constraints. Proc. 10th ICALP, Barcelona. Springer LNCS 154, pp. 188?202, 1983","DOI":"10.1007\/BFb0036909"},{"key":"CR11","unstructured":"Gogolla, M., Drosten, K., Lipeck, U., Ehrich, H.D.: Algebraic and operational semantics of specifications allowing exceptions and errors. Fb. 140, Abteilung Informatik, Universit\u00e4t Dortmund, 1982"},{"key":"CR12","unstructured":"Goguen, J.A.: Abstract errors for abstract data types. Proc. IFIP Working Conf. on the Formal Description of Programming Concepts, New Brunswick, New Jersey, 1977"},{"key":"CR13","unstructured":"Goguen, J.A.: Order sorted algebras: exceptions and error sorts, coercions and overloaded operators. Semantics and Theory of Computation Report No. 14, Dept. of Computer Science, UCLA, 1978"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop. E. Clarke (ed.). Carnegie-Mellon University, 1983","DOI":"10.1007\/3-540-12896-4_366"},{"key":"CR15","unstructured":"Goguen, J.A., Meseguer, J.: An initiality primer. Draft report, SRI International, 1983"},{"key":"CR16","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM research report RC6487, 1976. Also in: Current Trends in Programming Methodology, Vol. 4: Data Structuring. R.T. Yeh (ed.). Englewood Cliffs, NJ: Prentice-Hall, pp. 80?149, 1978"},{"key":"CR17","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. thesis, University of Toronto, 1975"},{"key":"CR18","unstructured":"Guttag, J.V., Horning, J.J.: Preliminary report on the Larch Shared Language. Report CSL-83-6. Computer Science Laboratory. Xerox PARC, 1983"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R.: Abstract data types and software validation. CACM 21, 1048?1064 (1978)","journal-title":"CACM"},{"key":"CR20","volume-title":"Algebraische Algorithmentheorie","author":"H. Kaphengst","year":"1971","unstructured":"Kaphengst, H., Reichel, H.: Algebraische Algorithmentheorie. VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, 1971"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Abrahams, P.W., Edwards, D.J., Hart, T.P., Levin, M.I.: LISP 1.5 Programmer's Manual. MIT Press, 1962","DOI":"10.21236\/AD0406138"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Nakajima, R., Yuasa, T.: The IOTA Programming System. Springer LNCS 160, 1983","DOI":"10.1007\/3-540-12693-7"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Reichel, H.: Initially restricting algebraic theories. Proc. 9th MFCS, Rydzyna, Poland. Springer LNCS 88, pp. 504?514, 1980","DOI":"10.1007\/BFb0022528"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Sannella, D.T.: Semantics, implementation and pragmatics of Clear, a program specification language. Ph.D. thesis, Dept. of Computer Science, University of Edinburgh, 1982","DOI":"10.1007\/BFb0012793"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Burstall, R.M.: Structured theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila, Italy. Springer LNCS 159, pp. 377?391, 1983","DOI":"10.1007\/3-540-12727-5_24"},{"key":"CR26","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterised specifications. Report CSR-103-82, Dept. of Computer Science, University of Edinburgh; extended abstract in: Proc. 9th ICALP, Aarhus, Denmark. LNCS 140, pp. 473?488, 1982"},{"key":"CR27","unstructured":"Sannella, D.T., Wirsing, M.: A kernel language for algebraic specification and implementation. Report CSR-131-83, Dept. of Computer Science, University of Edinburgh; extended abstract in: Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. Springer LNCS 158, pp. 413?427, 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271641.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00271641\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:25:00Z","timestamp":1585898700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00271641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF00271641"],"URL":"https:\/\/doi.org\/10.1007\/bf00271641","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}