{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:12:10Z","timestamp":1725459130628},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540123172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0036909","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T17:38:14Z","timestamp":1138210694000},"page":"188-202","source":"Crossref","is-referenced-by-count":13,"title":["Algebraic specifications with generating constraints"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"E. G.","family":"Wagner","sequence":"additional","affiliation":[]},{"given":"J. W.","family":"Thatcher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"80","volume-title":"IBM Research Report RC-6487, Oct. 76, Current Trends in Progr. Method., IV: Data Structuring","author":"J.A. Goguen","year":"1978","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, Oct. 76, Current Trends in Progr. Method., IV: Data Structuring (R.T. Yeh, Ed.) Prentice Hall, New Jersey (1978), 80\u2013149"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"-, Wright, J.B.: Initial algebra semantics and continous algebras, J.ACM 24, 68\u201395 (1977)","journal-title":"J.ACM"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(81)90080-3","volume":"15","author":"J.W. Thatcher","year":"1981","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: More on advice on structuring compilers and proving them correct, TCS 15 (1981), 223\u2013249","journal-title":"TCS"},{"key":"17_CR4","first-page":"322","volume":"134","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameter Passing in Algebraic Specification Languages, Proc. Aarhus Workshop on Prog. Spec., 1981, LNCS 134 (1982), 322\u2013369","journal-title":"LNCS"},{"key":"17_CR5","first-page":"73","volume":"71","author":"M. Broy","year":"1979","unstructured":"Broy, M., Dorsch, N., Partsch, H., Pepper, P., Wirsing, M.: Existential quantifiers in abstract data types; Proc. 6th ICALP, LNCS 71, 73\u201387 (1979)","journal-title":"LNCS"},{"key":"17_CR6","first-page":"294","volume":"86","author":"R. Burstall","year":"1980","unstructured":"Burstall, R., Goguen, J.: The semantics of CLEAR, a Specification Language, Proc. Advanced Course on Abstr. Software Spec., LNCS 86 (1980), 294\u2013332","journal-title":"LNCS"},{"key":"17_CR7","unstructured":"Bloom, S.L., Wagner, E.G.: Many sorted theories and their algebras, with examples from Comp. Sci. (working paper), IBM Research Center, 1982"},{"issue":"No.1","key":"17_CR8","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types, J. ACM 29, No.1 (1982), 206\u2013227","journal-title":"J. ACM"},{"key":"17_CR9","first-page":"1","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.: Parameterized Specifications with Requirements, Proc. CAAP'81, LNCS 112 (1981), 1\u201324","journal-title":"LNCS"},{"key":"17_CR10","unstructured":"Ehrig, H., Fey, W., Hansen, H.: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, Techn. Report TU Berlin, No. 83-03, 1983"},{"key":"17_CR11","first-page":"142","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness, Proc. 7th ICALP, LNCS 85 (1980), 142\u2013156; long version to appear in TCS","journal-title":"Proc. 7th ICALP, LNCS"},{"key":"17_CR12","first-page":"197","volume":"140","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J.: Parameter Passing Commutes with Implementation of Parameterized Data Types, Proc. 9th ICALP, LNCS 140 (1982), 197\u2013211","journal-title":"LNCS"},{"key":"17_CR13","unstructured":"Ehrig, H., Thatcher, J., Lucas, P., Zilles, S.: Denotational and initial algebra semantics of the algebraic specification language LOOK (draft paper), IBM Research Center (1982)"},{"key":"17_CR14","unstructured":"Ehrig, H., Wagner, E.G., Thatcher, J.W.: Algebraic Constraints for Specifications and Canonical Form Results, Techn.Report TU Berlin, No. 82-09, 1982"},{"key":"17_CR15","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types, Univ. Toronto, Techn.Report CSRG-59, (1975)"},{"key":"17_CR16","unstructured":"Hupbach, U.L., Kaphengst, M., Reichel, H.: Initial algebraic specifications of data types, parameterized data types and algorithms, VEB Robotron ZFT, Techn. Report, Dresden, 1980"},{"key":"17_CR17","unstructured":"Lipeck, U.: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen, PhD Thesis, Univ. Dortmund, 1982"},{"issue":"No.1","key":"17_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"B.H. Liskov","year":"1975","unstructured":"Liskov, B.H., Zilles, S.N.: Specification Techniques for Data Abstraction, IEEE Trans.on Soft.Eng., Vol.SE-1, No.1 (1975),7\u201319","journal-title":"IEEE Trans.on Soft.Eng."},{"key":"17_CR19","first-page":"473","volume":"140","author":"D. Sanella","year":"1982","unstructured":"Sanella, D., Wirsing, M.: Implementation of parameterized specifications, Proc. 9th ICALP, LNCS 140 (1982), 473\u2013488","journal-title":"LNCS"},{"key":"17_CR20","unstructured":"Wagner, E.G., Ehrig, H., Bloom, S.: Parameterized data types, parameter passing and canonical constraints (working paper) IBM Research Center (1982)"},{"key":"17_CR21","unstructured":"Zilles, S.N.: Algebraic specifications of data types, Project MAC Prog. Rep. 11, MIT (1974), 52\u201358"},{"key":"17_CR22","unstructured":"Zilles, S.N., Lucas, P., Thatcher, J.W.: A look at algebraic specifications, IBM Research Report RJ 3568, 1982"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036909.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:21:31Z","timestamp":1607552491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540123172"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0036909","relation":{},"subject":[]}}