{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:14Z","timestamp":1725663194063},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503255"},{"type":"electronic","value":"9783540459705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:21:02Z","timestamp":1330201262000},"page":"113-130","source":"Crossref","is-referenced-by-count":1,"title":["The ACT-system experiences and future enhancements"],"prefix":"10.1007","author":[{"given":"Horst","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"6_CR1","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 RC 6487, 1976 Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall, 1978, pp. 80\u2013144"},{"key":"6_CR2","unstructured":"Bidoit, M., Choppy, C., Voisin, F.: The ASSPEGIQUE specification environment In. Kreowski, H.-J. (ed.): Informatik Fachberichte Nr. 116, Springer Verlag, 1985"},{"key":"6_CR3","series-title":"Research Report","volume-title":"How to make Algebraic Specifications more understandable?","author":"M. Bidoit","year":"1987","unstructured":"Bidoit, M., Gaudel, M.C., Mauboussin, A.: How to make Algebraic Specifications more understandable? Research Report Nr. 343, Laboratory of Computer Science, Universite de Paris-Sud, Orsay 1987"},{"key":"6_CR4","volume-title":"ACT-System User's Guide","author":"P. Boehm","year":"1986","unstructured":"Boehm, P., Hansen, H.: ACT-System User's Guide, Department of Computer Science, TU Berlin, 1986 (German)"},{"key":"6_CR5","volume-title":"ACT-System: Interpreter User's Guide","author":"P. Boehm","year":"1986","unstructured":"Boehm, P., Hansen, H.: ACT-System: Interpreter User's Guide, Department of Computer Science, TU Berlin, 1986 (German)"},{"key":"6_CR6","unstructured":"Brauer, J., Hansen, H.: Spezifikation von VLSI-Entwurfsobjeckten als abstrakte Datentypen, E.I.S. Workshop, Bonn, 13\u201314. October 1987"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Burstall, R. M., MacQueen, D. B., Sannella, D. T.: HOPE: An Experimental Applicative Language, Internal Report No. CSR-62-80, Department of Computer Science, University of Edinburgh, May 1980","DOI":"10.1145\/800087.802799"},{"key":"6_CR8","unstructured":"The CIP Language Group: The Munich Project CIP-Vol. I: The Wide Spectrum Language CIP-L, Lecture Notes in Computer Science, No. 183, Springer-Verlag, 1985"},{"key":"6_CR9","unstructured":"Diaz, M., Vissers, C., Budkowski, S.: ESTELLE and LOTOS Software Environments for the Design of Open Distributed Systems, In: Commission of the European Communities (ed.): ESPRIT '87 \u2014 Achievements and Impact, Proceedings of the 4th Annual ESPRIT Conference, Brussels, September 28\u201329, 1987; North-Holland, 1987"},{"key":"6_CR10","unstructured":"EDIF \u2014 Electronic Design Interchange Format (Version 200), EDIF Steering Committee, Electronic Industries Association, Washington, D.C."},{"key":"6_CR11","series-title":"Research Report","volume-title":"ACT ONE: An Algebraic Specification Language with two Levels of Semantics","author":"H. Ehrig","year":"1983","unstructured":"Ehrig, H., Fey, W., Hansen, H.: ACT ONE: An Algebraic Specification Language with two Levels of Semantics, Research Report Nr. 83-03, Department of Computer Science, TU Berlin, 1983"},{"key":"6_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, Springer Verlag, Berlin, 1985"},{"key":"6_CR13","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2, to appear, 1988"},{"key":"6_CR14","series-title":"Research Report","volume-title":"Introduction to Algebraic Specification in ACT TWO","author":"W. Fey","year":"1986","unstructured":"Fey, W.: Introduction to Algebraic Specification in ACT TWO, Research Report No. 86-13, Department of Computer Science, TU Berlin, 1986"},{"key":"6_CR15","unstructured":"Fey, W.: The Module Specification and Interconnection Language ACT TWO, to appear 1988"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J. A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2, Proceedings of the 12th ACM Symposium on Principles of Programming Languages, New-Orleans, Lousiana, January 1985, pp. 52\u201366","DOI":"10.1145\/318593.318610"},{"key":"6_CR17","unstructured":"Gaudel, M.-C.: A first Introduction to PLUSS, Internal draft report, LRI, UNiversit\u00e9 de Paris-Sud, December 1984"},{"key":"6_CR18","unstructured":"Ganzinger, H.: A Completion Procedure for Conditional Equational Specifications, Internal Report of talk, held at the 5th Workshop on Specification of Abstract Data Types, Gullane, 1\u20134 September 1987"},{"key":"6_CR19","volume-title":"Information Processing 83","author":"J. V. Guttag","year":"1983","unstructured":"Guttag, J. V., Horning, J. J.: An Introduction to the LARCH Shared Language; In: Mason, R. E. A. (ed.): Information Processing 83, Elsevier Science Publishers B.V., North-Holland, 1983"},{"key":"6_CR20","unstructured":"Geser, A., Hussmann, H.: Rapid Prototyping for Algebraic Specifications: Examples for the Use of the RAP System, Research Report Nr. MIP-8517, University of Passau, December 1985"},{"key":"6_CR21","series-title":"Research Report","volume-title":"An ACT ONE Specification for User Operations of a Line-Oriented Editor","author":"H. Hansen","year":"1984","unstructured":"Hansen, H.: An ACT ONE Specification for User Operations of a Line-Oriented Editor, Research Report Nr. 84-20, Department of Computer Science, TU Berlin, 1984"},{"key":"6_CR22","unstructured":"Hansen, H.: Von algebraischen Spezifikationen zu algebraischen Programmen, Dissertation thesis, TU Berlin, 1986; also in: Research Report Nr. 87-02, Department of Computer Science, TU Berlin, 1987"},{"key":"6_CR23","unstructured":"Hasler, K.-P., L\u00f6we, M., Reisin, M.: Modell, Spezifikation und Korrektheit eines universellen Interpreters f\u00fcr algebraische Spezifikationen, Master thesis, TU Berlin, 1981"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Hasler, K.-P., Meer, J. de: OSI-Transport-Service Considered as an Abstract Data Type; In: Kreowski, H.-J.: Recent Trends in Data Type Specifications, Informatik Fachberichte Nr. 116, Springer Verlag, 1985","DOI":"10.1007\/978-3-662-09691-8_9"},{"key":"6_CR25","unstructured":"Harper, R., MacQueen, D., Milner, R.: Standard ML, LFCS Report Series No. ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, March 1986"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Huet, G., Oppen, D.C.: Equations and Rewrite Rules: A Survey; In: Book, R. V., ed., Formal Language Theory: Perspectives and Open Problems, Academic Press, 1980","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"6_CR27","unstructured":"Hussmann, H.: Rapid Prototyping for Algebraic Specifications-RAP Systems User's Manual, Research Report Nr. MIP-8504, University of Passau, March 1985"},{"key":"6_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0261-2","volume-title":"Pascal User Manual and Report","author":"K. Jensen","year":"1985","unstructured":"Jensen, K., Wirth, N.: Pascal User Manual and Report; Third Edition, Springer-Verlag, New York 1985","edition":"Third Edition"},{"key":"6_CR29","unstructured":"Klaeren, H.A.: A Constructive Method for Abstract Algebraic Software Specification, RWTH Aachen, Schriften zur Informatik und Ang. Math., Nr. 78, 1982; also in: Theoretical Computer Science, 1984"},{"key":"6_CR30","unstructured":"Klaeren, H.A.: Efficient Implementation of an Algebraic Specification Language, Invited talk at the ESPRIT METEOR Workshop on Algebraic Methods: Theory, Tools and Application, Passau, 1987, to appear in LNCS, Springer, 1987"},{"key":"6_CR31","series-title":"Research Report","volume-title":"Algorithmen zur \u00dcberpr\u00fcfung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE","author":"A. Langen","year":"1985","unstructured":"Langen, A.: Algorithmen zur \u00dcberpr\u00fcfung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE, Research Report Nr. 85-12, Department of Computer Science, TU Berlin 1985"},{"key":"6_CR32","series-title":"Research Report","volume-title":"PERSIST: ein Programm zur \u00dcberpr\u00fcfung syntaktischer hinreichender Bedingungen f\u00fcr Persistenz parametrisierter algebraischer Spezifikationen","author":"A. Langen","year":"1985","unstructured":"Langen, A.: PERSIST: ein Programm zur \u00dcberpr\u00fcfung syntaktischer hinreichender Bedingungen f\u00fcr Persistenz parametrisierter algebraischer Spezifikationen, Research Report Nr. 85-11, Department of Computer Science, TU Berlin 1985"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Lescanne, P.: Computer Experiments with the REVE Term Rewriting System Generator; In: Proceedings of the Symposium on Principles of Programming Languages, ACM, 1983","DOI":"10.1145\/567067.567078"},{"key":"6_CR34","series-title":"Research Report","volume-title":"The Specification Language of OBSCURE","author":"T. Lehmann","year":"1987","unstructured":"Lehmann, T., Loeckx, J.: The Specification Language of OBSCURE, Research Report No. A 87\/07, Department of Applied Mathematics and Computer Science, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1987"},{"key":"6_CR35","series-title":"Research Report","volume-title":"DONALD \u2014 A Single Assignment Language for Non-Sequential Algorithms Over Arbitrary Data Types","author":"B. Mahr","year":"1984","unstructured":"Mahr, B., N\u00fcrnberg, F.: DONALD \u2014 A Single Assignment Language for Non-Sequential Algorithms Over Arbitrary Data Types, Research Report Nr. 84-07, Department of Computer Science, TU Berlin, May 1984"},{"issue":"1","key":"6_CR36","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","volume":"SE-6","author":"D. R. Musser","year":"1980","unstructured":"Musser, D. R.: Abstract Dta Type Specification in the AFFIRM System, IEEE Transactions on Software Engineering, Vol. SE-6, No. 1, January 1980, pp. 24\u201332","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR37","unstructured":"Padawitz, P.: Correctness, Completeness, and Consistency of Equational Data Type Specifications, Dissertation thesis, TU Berlin 1983; also in: Research Report Nr. 83-15, Department of Computer Science, TU Berlin, 1983"},{"key":"6_CR38","first-page":"323","volume":"1","author":"P. Padawitz","year":"1985","unstructured":"Padawitz, P.: Parameter Preserving Data Type Specifications, Proc. TAPSOFT Vol. 1, 1985, LNCS 185, pp. 323\u2013341, Springer Verlag, 1985","journal-title":"Proc. TAPSOFT"},{"key":"6_CR39","series-title":"Research Report","volume-title":"Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden","author":"C. Rieckhoff","year":"1985","unstructured":"Rieckhoff, C.: Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden, Research Report Nr. 85-13, Department of Computer Science, TU Berlin, 1985"},{"key":"6_CR40","unstructured":"Sannella, D.: Formal Specification of ML Programs, LFCS Report Series No. ECS-LFCS-86-15, Department of Computer Science, University of Edinburgh, November 1986"},{"key":"6_CR41","volume-title":"A gebraische Spezifikation und Programmentwicklung eines syntaxgesteuerten Editors","author":"W. Schulte","year":"1987","unstructured":"Schulte, W.: A gebraische Spezifikation und Programmentwicklung eines syntaxgesteuerten Editors, Master thesis, Department of Computer Science, TU Berlin, March 1987"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Extended ML: an intitution-independent framework for formal program development; In: Proceedings of the Workshop on Category and Computer Programming, Guildford, 1985","DOI":"10.1007\/3-540-17162-2_133"},{"key":"6_CR43","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques; 10th Symp. Theory of Computing, 1978, pp. 119\u2013132; Trans. Prog. Languages and Systems 4, 1982, pp. 711\u2013732","journal-title":"Trans. Prog. Languages and Systems"},{"key":"6_CR44","unstructured":"Waterloo Prolog User's Manual (Version 1.7), Intralogic Inc., Waterloo, Canada, 1986"},{"issue":"2","key":"6_CR45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/9758.10500","volume":"9","author":"J. Wing","year":"1987","unstructured":"Wing, J.: Writing LARCH Interface Language Specifications, ACM Transactions on Programming Languages Vol. 9, No. 2, April 1987, pp. 1\u201325","journal-title":"ACM Transactions on Programming Languages"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50325-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:53Z","timestamp":1605647873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}