{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:27Z","timestamp":1725663867269},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_74","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:19:35Z","timestamp":1330190375000},"page":"313-336","source":"Crossref","is-referenced-by-count":10,"title":["Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Donald","family":"Sannella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"20_CR1","unstructured":"R. Burstall and J.A. Goguen: Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, Mass., 1045\u20131058 (1977)."},{"key":"20_CR2","unstructured":"M. Broy: An example for the design of distributed systems in a formal setting: the lift problem. Universit\u00e4t Passau, Tech. Rep. MIP 8802 (1988)."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"M. Broy: Towards a design methodology for distributed systems, in: M. Broy (ed.):: Constructive Methods in Computing Science. NATO ASI Series F55, Springer (1989) 311\u2013364.","DOI":"10.1007\/978-3-642-74884-4_10"},{"key":"20_CR4","unstructured":"A. Blikle and A. Tarlecki: Naive denotational semantics. Information Processing '83. North-Holland (1983)."},{"key":"20_CR5","unstructured":"L. Cardelli, G. Longo: a semantic basis for Quest. Digital Systems Research Center, Palo Alto, Tech. Rep. No. 55 (1990). (extended abstract in Proc. ACM Conf. on Lisp and Functional Programming, Nice June 1990)."},{"key":"20_CR6","first-page":"78","volume":"322","author":"S. Clerici","year":"1988","unstructured":"S. Clerici and F. Orejas: GSBL: an algebraic specification language based on inheritance. Proc. 1988 European Conf. on Object Oriented Programming, Oslo. LNCS 322, 78\u201392 (1988).","journal-title":"LNCS"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. Bidoit, H.-J. Kreowski, F. Orejas, P. Lescanne and D. Sannella (eds.): A comprehensive algebraic approach to system specification and development: Annotated Bibliography. LNCS, to appear (1991).","DOI":"10.1007\/BFb0018512"},{"key":"20_CR8","unstructured":"R. Constable et al: Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall (1986)."},{"key":"20_CR9","unstructured":"O.-J. Dahl, B. Myrhaug and K. Nygaard: Simula 67 common base language. Report S-22, Norwegian Computing Center, Oslo (1970); revised edition (1984)."},{"key":"20_CR10","unstructured":"S. Finn and M. Fourman: LAMBDA logic manual. Draft Report, Abstract Hardware Ltd. (1990)."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"J.S. Fitzgerald and C.B. Jones: Modularizing the formal description of a database system. Proc. VDM'90 Conference, Kiel. LNCS 428 (1990).","DOI":"10.1007\/3-540-52513-0_11"},{"key":"20_CR12","first-page":"221","volume":"164","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen and R. Burstall: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, 221\u2013256 (1984).","journal-title":"LNCS"},{"issue":"2","key":"20_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J.V. Guttag","year":"1986","unstructured":"J.V. Guttag and J.J. Horning: Report on the Larch shared language. Science of Computer Programming 6 (2), 103\u2013134 (1986).","journal-title":"Science of Computer Programming"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J.-P. Jouannaud and J. Meseguer: Operational semantics of order-sorted algebra. Proc. 12th Intl. Conf. on Automata, Languages and Programming, Nafplion, Greece. LNCS 194 (1985).","DOI":"10.1007\/BFb0015747"},{"key":"20_CR15","unstructured":"J.A. Goguen and J. Meseguer: Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. Proc. 2nd IEEE Symp. on Logic in Computer Science, Cornell (1987)."},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"SE-10","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen: Parameterized programming. IEEE Trans. Software Engineering SE-10, 528\u2013543 (1984).","journal-title":"IEEE Trans. Software Engineering"},{"key":"20_CR17","unstructured":"R. Harper: Introduction to Standard ML. Report ECS-LFCS-86-14, Univ. of Edinburgh. Revised edition (1989)."},{"key":"20_CR18","first-page":"36","volume":"352","author":"B. Krieg-Br\u00fcckner","year":"1989","unstructured":"B. Krieg-Br\u00fcckner: Algebraic specification and functionals for transformational program and meta program development. in D\u00edaz, J., Orejas, F. (eds.): Proc. TAPSOFT '89 (Barcelona), Vol. 2. LNCS 352 (1989) 36\u201359.","journal-title":"LNCS"},{"key":"20_CR19","unstructured":"B. Krieg-Br\u00fcckner: PROgram development by SPECification and TRAnsformation. Technique et Science Informatiques: Advanced Software Engineering in ESPRIT (special issue) (1990) 134\u2013149"},{"key":"20_CR20","unstructured":"B. Krieg-Br\u00fcckner (ed.): PROgram development by SPECification and TRAnsformation: Vol. I: Methodology, Vol. II: Language Family, Vol. III: System. PROSPECTRA Reports M.1.1.S3-R-55.2,-56.2,-57.2. Universit\u00e4t Bremen, 1990. (to appear in LNCS)."},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/0890-5401(88)90011-9","volume":"76","author":"B. Lampson","year":"1988","unstructured":"B. Lampson and R. Burstall: Pebble, a kernel language for modules and abstract types. Information and Computation 76, 278\u2013346 (1988).","journal-title":"Information and Computation"},{"key":"20_CR22","first-page":"131","volume":"332","author":"T. Lehmann","year":"1988","unstructured":"T. Lehmann and J. Loeckx: The specification language of OBSCURE. in: D. Sannella (ed.): Selected Papers of the 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland. LNCS 332, 131\u2013153 (1988).","journal-title":"LNCS"},{"key":"20_CR23","unstructured":"D. MacQueen: Modules for Standard ML. In: Report ECS-LFCS-86-2, Univ. of Edinburgh (1986)."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"D. MacQueen: Using dependent types to express modular structure. Proc. 13th ACM Conf. on Principles of Programming Languages, 277\u2013286 (1986).","DOI":"10.1145\/512644.512670"},{"key":"20_CR25","unstructured":"B. Meyer: Object-Oriented Software Construction. Prentice-Hall (1988)."},{"key":"20_CR26","unstructured":"J. Meseguer and J.A. Goguen: Initiality, induction and computability. Algebraic Methods in Semantics (M. Nivat and J. Reynolds, eds.), 459\u2013540. Cambridge Univ. Press (1985)."},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"J. Mitchell and R. Harper: The essence of ML. Proc. 15th ACM Conf. on Principles of Programming Languages, 28\u201346 (1988).","DOI":"10.1145\/73560.73563"},{"key":"20_CR28","unstructured":"J. Mitchell, S. Meldal, N. Madhav and D. Katiyar: An extension of Standard ML modules with subtyping and inheritance (extended abstract). Draft report, Stanford University (1990). to appear in Proc. ACM Conf. on Principles of Programming Languages (1991)"},{"key":"20_CR29","unstructured":"R. Milner, M. Tofte and R. Harper: The Definition of Standard ML. MIT Press (1990)."},{"key":"20_CR30","first-page":"184","volume":"332","author":"M.P. Nivela","year":"1988","unstructured":"M.P. Nivela and F. Orejas: Initial behaviour semantics for algebraic specifications. in: D. Sannella (ed.): Selected Papers of the 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland. LNCS 332, 184\u2013207 (1988).","journal-title":"LNCS"},{"key":"20_CR31","first-page":"86","volume":"463","author":"Z. Qian","year":"1990","unstructured":"Z. Qian: Higher-order order-sorted algebra. Proc. Algebraic and Logic Programming, Nancy. LNCS 463, 86\u2013100 (1990)","journal-title":"LNCS"},{"key":"20_CR32","unstructured":"C. Reade: Elements of Functional Programming. Addison-Wesley (1989)."},{"key":"20_CR33","unstructured":"H. Reichel: Behavioural equivalence: a unifying concept for initial and final specification methods. Proc. 3rd Hungarian Computer Science Conf., Budapest, 27\u201339 (1981)."},{"key":"20_CR34","unstructured":"H. Reichel: a sketch approach to SPECTRAL semantics. Talk given at Informatik Kolloqium, Universit\u00e4t Bremen (1990)."},{"key":"20_CR35","unstructured":"J. Reynolds: Types, abstraction and parametric polymorphism. Information Processing '83, 513\u2013523. North-Holland (1983)."},{"key":"20_CR36","unstructured":"D. Sannella: Formal program development in Extended ML for the working programmer. Proc. 3rd BCS\/FACS Workshop on Refinement, Hursley Park. LNCS, to appear (1990)."},{"key":"20_CR37","first-page":"377","volume":"159","author":"D. Sannella","year":"1983","unstructured":"D. Sannella and R. Burstall: Structured theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila, Italy. LNCS 159, 377\u2013391 (1983).","journal-title":"LNCS"},{"key":"20_CR38","unstructured":"O. Schoett: Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis CST-42-87, Univ. of Edinburgh (1987)."},{"key":"20_CR39","unstructured":"D. Sannella, S. Sokolowski and A. Tarlecki: Toward formal development of programs from algebraic specifications: parameterisation revisited. Report 6\/90, Univ. of Bremen (1990)."},{"key":"20_CR40","doi-asserted-by":"crossref","unstructured":"D. Sannella and A. Tarlecki: Program specification and development in Standard ML. Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 67\u201377 (1985).","DOI":"10.1145\/318593.318614"},{"key":"20_CR41","first-page":"364","volume":"240","author":"D. Sannella","year":"1986","unstructured":"D. Sannella and A. Tarlecki: Extended ML: an institution-independent framework for formal program development. Proc. Workshop on Category Theory and Computer Programming, Guilford. LNCS 240, 364\u2013389 (1986).","journal-title":"LNCS"},{"key":"20_CR42","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"D. Sannella and A. Tarlecki: On observational equivalence and algebraic specification. J. Comp. and Sys. Sciences 34, 150\u2013178 (1987).","journal-title":"J. Comp. and Sys. Sciences"},{"key":"20_CR43","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"D. Sannella and A. Tarlecki: Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25, 233\u2013281 (1988).","journal-title":"Acta Informatica"},{"key":"20_CR44","first-page":"375","volume":"352","author":"D. Sannella","year":"1989","unstructured":"D. Sannella and A. Tarlecki: Toward formal development of ML programs: foundations and methodology. Proc. Joint Conf. on Theory and Practice of Software Development, Barcelona. LNCS 352, 375\u2013389 (1989).","journal-title":"LNCS"},{"key":"20_CR45","doi-asserted-by":"crossref","unstructured":"D. Sannella and A. Tarlecki: A kernel specification formalism with higher-order parameterisation. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen. LNCS, to appear (1991).","DOI":"10.1007\/3-540-54496-8_15"},{"key":"20_CR46","doi-asserted-by":"crossref","unstructured":"D. Sannella and A. Tarlecki: Extended ML: past, present and future. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen. LNCS, to appear (1991).","DOI":"10.1007\/3-540-54496-8_16"},{"key":"20_CR47","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"D. Sannella and M. Wirsing: A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. LNCS 158, 413\u2013427 (1983).","journal-title":"LNCS"},{"key":"20_CR48","unstructured":"\u00c5. Wikstr\u00f6m: Functional Programming Using Standard ML. Prentice-Hall (1987)."},{"key":"20_CR49","first-page":"300","volume":"834","author":"M. Wirsing","year":"1988","unstructured":"M. Wirsing: Algebraic description of reusable software components. in: P. Wodon, E. Milgrom (eds.): COMPEURO 88, System Design: Concepts, Methods and Tools. IEE Comp. Soc. Press 834, 300\u2013313 (1988).","journal-title":"IEE Comp. Soc. Press"},{"key":"20_CR50","first-page":"121","volume":"324","author":"M. Wirsing","year":"1988","unstructured":"M. Wirsing, R. Breu, R. Hennicker: Reusable specification components. in: M. Chytil (ed.): MFCS 88, Symp. on Mathematical Foundations of Computer Science, Karlsbad Aug. 88. LNCS 324, 121\u2013137 (1988).","journal-title":"LNCS"},{"key":"20_CR51","first-page":"20","volume":"387","author":"M. Wirsing","year":"1989","unstructured":"M. Wirsing, R. Hennicker, R. Stabl: MENUE \u2014 an example for the systematic reuse of specifications. in: C. Ghezzi, J. A. McDermid (eds.): ESEC 89, 2nd European Software Engineering Conf., Warwick 89. LNCS 387, 20\u201341 (1989).","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:04Z","timestamp":1619558284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/3540539816_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}