{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:40Z","timestamp":1725663400726},"publisher-location":"Berlin, Heidelberg","reference-count":35,"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_50","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:17:31Z","timestamp":1330179451000},"page":"96-110","source":"Crossref","is-referenced-by-count":16,"title":["Toward formal development of programs from algebraic specifications: Implementations revisited"],"prefix":"10.1007","author":[{"given":"Donald","family":"Sannella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Broy, M., M\u00f6ller, B., Pepper, P. and Wirsing, M. Algebraic implementations preserve program correctness. Science of Computer Programming 7, pp. 35\u201353.","DOI":"10.1016\/0167-6423(86)90004-3"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M. and Wirsing, M. Partial abstract types. Acta Informatica 18 pp. 47\u201364.","DOI":"10.1007\/BF00625280"},{"key":"8_CR3","unstructured":"Burstall, R.M. and Goguen, J.A. Putting together theories to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Burstall, R.M. and Goguen, J.A. The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. Springer LNCS 86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"de Nicola, R. and Hennessy, M.C.B. Testing equivalences for processes. Theoretical Computer Science 34, pp. 83\u2013133.","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D. On realization and implementation. Proc. 10th Intl. Symp. on Mathematical Foundations of Computer Science, Strbske Pleso, Czechoslovakia. Springer LNCS 118.","DOI":"10.1007\/3-540-10856-4_93"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D. On the theory of specification, implementation, and parametrization of abstract data types. Journal of the Assoc. for Computing Machinery 29 pp. 206\u2013227.","DOI":"10.1145\/322290.322303"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B. and Padawitz, P. Algebraic implementation of abstract data types. Theoretical Computer Science 20 pp. 209\u2013263.","DOI":"10.1016\/S0304-3975(82)80001-7"},{"key":"8_CR9","unstructured":"Ehrig, H. and Mahr, B. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Springer."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Wagner, E.G. and Thatcher, J.W. Algebraic specifications with generating constraints. Proc. 10th Intl. Colloq. on Automata, Languages and Programming, Barcelona. Springer LNCS 154, pp. 188\u2013202.","DOI":"10.1007\/BFb0036909"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ganzinger, H. Parameterized specifications: parameter passing and implementation with respect to observability. TOPLAS 5, 3 pp. 318\u2013354.","DOI":"10.1145\/2166.357212"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Giarratana, V., Gimona, F. and Montanari, U. Observability concepts in abstract data type specification. Proc. 5th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk. Springer LNCS 45.","DOI":"10.1007\/3-540-07854-1_231"},{"key":"8_CR13","unstructured":"Goguen, J.A. and Burstall, R.M. CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, SRI International."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Burstall, R.M. Introducing institutions. Proc. Logics of Programming Workshop (E. Clarke and D. Kozen, eds.), Carnegie-Mellon University. Springer LNCS 164, pp. 221\u2013256.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Meseguer, J. Universal realization, persistent interconnection and implementation of abstract modules. Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus. Springer LNCS 140, pp. 265\u2013281.","DOI":"10.1007\/BFb0012775"},{"key":"8_CR16","unstructured":"Goguen, J.A., Thatcher, J.W. and Wagner, E.G. An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current Trends in Programming Methodology, Vol. 4: Data Structuring (R.T. Yeh, ed.), Prentice-Hall, pp. 80\u2013149."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Kamin, S. Final data types and their specification. TOPLAS 5, 1 pp. 97\u2013121.","DOI":"10.1145\/357195.357202"},{"key":"8_CR18","unstructured":"Larsen, K. Context-dependent bisimulation between processes. Ph.D. thesis, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"8_CR19","unstructured":"Lipeck, U. Ein algebraischer Kalk\u00fcl f\u00fcr einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universit\u00e4t Dortmund."},{"key":"8_CR20","unstructured":"Liskov, B.H. and Berzins, V. An appraisal of program specifications. Computation Structures Group memo 141-1, Laboratory for Computer Science, MIT."},{"key":"8_CR21","unstructured":"MacQueen, D.B. Modules for Standard ML. Polymorphism 2, 2."},{"key":"8_CR22","unstructured":"Milner, R.G. The Standard ML core language. Polymorphism 2, 2."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Moore, E.F. Gedanken-experiments on sequential machines. In: Automata Studies (C.E. Shannon and J. McCarthy, eds.), Princeton Univ. Press, pp. 129\u2013153.","DOI":"10.1515\/9781400882618-006"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Orejas, F. Characterizing composability of abstract implementations. Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. Springer LNCS 158, pp. 335\u2013346.","DOI":"10.1007\/3-540-12689-9_116"},{"key":"8_CR25","unstructured":"Parisi-Presicce, F. and Blum, E.K. The semantics of shared submodules specifications. Proc. 10th Colloq. on Trees in Algebra and Programming, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Berlin. Springer LNCS 185, pp. 359\u2013373."},{"key":"8_CR26","unstructured":"Reichel, H. Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. Proc. 3rd Hungarian Computer Science Conference, Budapest, pp. 27\u201339."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Sannella, D.T. and Tarlecki, A. Some thoughts on algebraic specification. Proc. 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen. Springer Informatik-Fachberichte Vol. 116, pp. 31\u201338.","DOI":"10.1007\/978-3-662-09691-8_4"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Sannella, D.T. and Tarlecki, A. Program specification and development in Standard ML. Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, pp. 67\u201377.","DOI":"10.1145\/318593.318614"},{"key":"8_CR29","unstructured":"Sannella, D.T. and Tarlecki, A. Specifications in an arbitrary institution. Report CSR-184\u201385, Dept. of Computer Science, Univ. of Edinburgh; to appear in Information and Control."},{"key":"8_CR30","unstructured":"Sannella, D.T. and Tarlecki, A. On observational equivalence and algebraic specification. Report CSR-172-84, Dept. of Computer Science, Univ. of Edinburgh; to appear in Journal of Computer and Systems Sciences."},{"key":"8_CR31","unstructured":"Sannella, D.T. and Tarlecki, A. Toward formal development of programs from algebraic specifications: implementations revisited (full version). Research report, Dept. of Computer Science, Univ. of Edinburgh (to appear)."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Sannella, D.T. and Wirsing, M. Implementation of parameterised specifications (extended abstract). Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus. Springer LNCS 140, pp. 473\u2013488.","DOI":"10.1007\/BFb0012793"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Sannella, D.T. and Wirsing, M. A kernel language for algebraic specification and implementation (extended abstract). Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. Springer LNCS 158, pp. 413\u2013427.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"8_CR34","unstructured":"Schoett, O. A theory of program modules, their specification and implementation (extended abstract). Report CSR-155-83, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"8_CR35","unstructured":"Tarlecki, A. Software-system development \u2014 an abstract view. Information Processing '86. North-Holland, pp. 685\u2013688."}],"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_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:13:10Z","timestamp":1605625990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}