{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:38Z","timestamp":1725663398618},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:15Z","timestamp":1330197435000},"page":"81-95","source":"Crossref","is-referenced-by-count":3,"title":["On parametric algebraic specifications with clean error handling"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"7_CR1","first-page":"80","volume-title":"Current trends in programming methodology, Vol. IV","author":"J.A. Goguen","year":"1978","unstructured":"J.A. Goguen\/J.W. Thatcher\/E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. Current trends in programming methodology, Vol. IV, R.T. yeh (ed), Prentice Hall, Englewood Cliffs 1978, pp.80\u2013149."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J.W.Thatcher\/E.G.Wagner\/J.B.Wright: Data type specification: Parametrization and the power of specification techniques. Proc. 10th STOC, 1978, San Diego.","DOI":"10.1145\/800133.804340"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"H.Ehrig \/ H.-J.Kreowski \/ J.W.Thatcher \/ E.G.Wagner \/ J.B.Wright: Parameter passing in algebraic specification languages. LNCS 134, Berlin 1982, pp.322\u2013369.","DOI":"10.1007\/3-540-11490-4_21"},{"key":"7_CR4","unstructured":"G.Bernot \/ M.Bidoit \/ C.Choppy: Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors. To appear."},{"key":"7_CR5","first-page":"95","volume":"172","author":"M. Bidoit","year":"1984","unstructured":"M. Bidoit: Algebraic specification of exception handling and error recovery by means of equations and declarations. Proc. 11th ICALP 1984, LNCS 172, pp.95\u2013109.","journal-title":"LNCS"},{"key":"7_CR6","unstructured":"F.Boisson \/ G.Guiho \/ D.Pavot: Multioperator algebras. L.R.I. Report, Orsay 1982."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"H.Ehrig: Algebraic theory of parametrized specifications with requirements. Proc. 6th CAAP 1981, Genova.","DOI":"10.1007\/3-540-10828-9_51"},{"key":"7_CR8","unstructured":"H.Ehrig\/W.Fey\/H.Hansen: ACT ONE: An algebraic specification language with two levels of semantics. Techn. Report No. 83-03, TU Berlin, 1983."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"H.Ehrig\/H.-J.Kreowski\/B.Mahr\/P.Padawitz: Algebraic implementation of abstract data types. TCS, Vol.20 1982.","DOI":"10.1016\/S0304-3975(82)80001-7"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"K.Futasugi \/ J.A.Goguen \/ J.-P.Jouannaud \/ J.Meseguer: Principles of OBJ2. Proc. POPL 1985, pp.52\u201366.","DOI":"10.1145\/318593.318610"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"H.Ganzinger: Parametrized specification: Parameter passing and implementation. ACM TOPLAS, Vol.5 1983.","DOI":"10.1145\/2166.357212"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"V.Giarratana\/F.Gimona\/U.Montanari: Observability concepts in abstract data type specification. Proc. 5th MFCS 1976, Gdansk, LNCS 45.","DOI":"10.1007\/3-540-07854-1_231"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","volume":"34","author":"M. Gogolla","year":"1984","unstructured":"M. Gogolla\/K. Drosten\/U. Lipeck\/H.-D. Ehrich: Algebraic and operational semantics of specifications allowing exceptions and errors. TCS, Vol.34 1984, pp.289\u2013313.","journal-title":"TCS"},{"key":"7_CR14","unstructured":"M.Gogolla: Partially ordered sorts in algebraic specifications. Proc. 9th CAAP 1984, Bordeaux, B. Courcelle (ed), Cambridge University Press, pp.139\u2013153."},{"key":"7_CR15","unstructured":"M.Gogolla: \u00fcber partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in Abstrakten Datentypen. Dissertation, TU Braunschweig, 1986."},{"key":"7_CR16","unstructured":"J.A.Goguen: Abstract errors for abstract data types. Proc. Conference on Formal Description of Programming Concepts 1978, E.J.Neuhold (ed), North Holland."},{"key":"7_CR17","unstructured":"J.A.Goguen: Order sorted algebras: Exception and error sorts, coercions and overloaded operators. Semantics and Theory of Computation Report No.14, UCLA, 1978."},{"key":"7_CR18","unstructured":"J.A.Goguen\/J.Meseguer: Order-sorted algebra I: Partial and overloaded operators, errors and inheritance. Technical Report, SRI International, 1984."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"J.A.Goguen\/J.-P.Jouannaud\/J.Meseguer: Operational semantics for order-sorted algebra. Proc. 12th ICALP 1985.","DOI":"10.1007\/BFb0015747"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"H.Klaeren: A constructive method for abstract algebraic software specification. TCS, Vol.30, No.2 1984.","DOI":"10.1016\/0304-3975(84)90062-8"},{"key":"7_CR21","unstructured":"A.Poigne: Modularization techniques for algebraic specifications with subsorts. Imperial College, London."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"D.Sannella\/A.Tarlecki: On observational equivalence and algebraic specification. Proc. 10th CAAP 1985, Berlin.","DOI":"10.1007\/3-540-15198-2_20"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"D.Sannella\/M.Wirsing: A kernel language for algebraic specification and implementation. Proc. FCT 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"issue":"1","key":"7_CR24","first-page":"27","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. Wand: Final algebra semantics and data type extensions. JCSS, Vol.19, No.1 1979, pp.27\u201344.","journal-title":"JCSS"},{"key":"7_CR25","unstructured":"E.G.Wagner\/H.Ehrig: Canonical constraints for parametrized data types. Research Report RC 11248, IBM, 1985."},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"M.Wirsing\/P.Pepper\/H.Partsch\/W.Dosch\/M.Broy: On hierarchies of abstract data types. Acta Informatica 1983.","DOI":"10.1007\/BF00264293"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:10Z","timestamp":1605643990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}