{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:10:41Z","timestamp":1725732641401},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199465"},{"type":"electronic","value":"9781447135777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3577-7_23","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T10:16:38Z","timestamp":1371723398000},"page":"315-327","source":"Crossref","is-referenced-by-count":1,"title":["The database Specification Language Ruslan: Main Features"],"prefix":"10.1007","author":[{"given":"A. V.","family":"Zamulin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Cardelli L. Types for Data-Oriented Languages. Lecture Notes in Computer Science, 1988, v. 303, pp. 1\u201315.","DOI":"10.1007\/3-540-19074-0_44"},{"key":"23_CR2","volume-title":"How to make ad-hoc polymorphism less ad-hoc. Conf. Record of the 16th Acm Annual Symp. on Principles of Progr. Lang.","author":"P Wadler","year":"1989","unstructured":"Wadler, P. and Blott, S. How to make ad-hoc polymorphism less ad-hoc. Conf. Record of the 16th ACM Annual Symp. on Principles of Progr. Lang., Austin, Texas, January 1989."},{"key":"23_CR3","unstructured":"Zamulin, A.V. The Database Specification Language RUSLAN (preliminary communication). Siberian Division of the Russian Academy of Sciences, Institute of Informatics Systems, Preprint 28, Novosibirsk 1994, 35 p. (Availaible electronically by anonymous ftp from math.tulane.edu, directory \u201cpubzamulin\u201d, file \u201cRuslan1.ps.Z\u201d)."},{"key":"23_CR4","volume-title":"Lecture Notes in Computer Science","author":"FL Bauer","year":"1985","unstructured":"F.L. Bauer, R. Berghammer, M. Broy, ea. The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science, v. 183, Berlin: Springer 1985"},{"issue":"1","key":"23_CR5","first-page":"27","volume":"10","author":"J Guttag","year":"1978","unstructured":"Guttag, J., Hornung, J.J. The algebraic specification of abstract data types. Acta Informatika, 1978, v. 10, No. 1, pp. 27\u201352.","journal-title":"Acta Informatika"},{"key":"23_CR6","unstructured":"Zamulin A.V. The Database Programming Language Atlant. University of Glasgow, Department of Computing Science, Research report CSC\/89\/R13, June 1989."},{"key":"23_CR7","unstructured":"Zamulin, A.V. The Database Specification Language RUSLAN (specification examples). Siberian Division of the Russian Academy of Sciences, Institute of Informatics Systems, Preprint 29, Novosibirsk 1994, 54 p. (Availaible electronically by anonymous ftp from math.tulane edu, directory \u201cpub\/zamulin\u201d, file \u201cRuslan2.ps.Z\u201d)."},{"key":"23_CR8","volume-title":"Algebraic Specification Schemes for Database Systems. Proc. 4th Int","author":"H Ehrig","year":"1978","unstructured":"Ehrig H., Kreowski H.J., Weber H. Algebraic Specification Schemes for Database Systems. Proc. 4th Int. Conf. on Very Large Data Bases, Berlin, 1978."},{"key":"23_CR9","volume-title":"On the Algebraic Specification of Databases. Proc. 8th Int","author":"W Dosch","year":"1982","unstructured":"Dosch W., Mascari G, Wirsing M. On the Algebraic Specification of Databases. Proc. 8th Int. Conf. on Very Large Data Bases, Mexico City, 1982."},{"key":"23_CR10","volume-title":"Sadler M.R. A Modal System of Algebras for Database Specification and Query\/Update Language Support. Proc. 9th Int","author":"F Golshani","year":"1983","unstructured":"Golshani F., Maibaum T.S.E., Sadler M.R. A Modal System of Algebras for Database Specification and Query\/Update Language Support. Proc. 9th Int. Conf. on Very Large Data Bases, Florence, 1983."},{"key":"23_CR11","volume-title":"Specification, Semantics, and Enforcement of Dynamic Database Constraints. Proc. 10th Int","author":"HD Ehrich","year":"1984","unstructured":"Ehrich H.-D., Lipeck U.W., Gogolla M. Specification, Semantics, and Enforcement of Dynamic Database Constraints. Proc. 10th Int. Conf. on Very Large Data Bases, Singapore 1984."},{"key":"23_CR12","volume-title":"Database Specification. Proc. Ifip Working Conf. on Database Semantics, R. Meersman\/T.B.Steel (eds.)","author":"S Khosla","year":"1985","unstructured":"Khosla S., Maibaum T.S.E., Sadler M.R. Database Specification. Proc. IFIP Working Conf. on Database Semantics, R. Meersman\/T.B.Steel (eds.), North Holland, Amsterdam, 1985."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Ehrich H.-D. Algebraic (?) Specification of Conceptual Database Schemata. Recent Trends in Data Type Specification: Informatik Fachberichte, v. 116, 1984, p. 22\u201328.","DOI":"10.1007\/978-3-662-09691-8_2"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Sheard T. and Stemple D. Automatic Verification of Database Transaction Safety. ACM Transactions on Database Systems, v.12, No.3, p.322\u2013368, September 1989.","DOI":"10.1145\/68012.68014"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Sannella D. A set-theoretic semantics for CLEAR. Acta Informatika, v.21, No. 5, 1984, pp. 443\u2013472.","DOI":"10.1007\/BF00271641"},{"key":"23_CR16","volume-title":"Springer-verlag","author":"H Ehrig","year":"1985","unstructured":"Ehrig H., Mahr B. Fundementals of Algebraic Specifications. Springer-Verlag, 1985."},{"key":"23_CR17","first-page":"413","volume":"158","author":"D Sannella","year":"1983","unstructured":"Sannella D., Wirsing M. A Kernel Language for Algebraic Specification and Implementation. LNCS, V. 158, 1983, pp. 413\u2013427.","journal-title":"Lncs"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-662-09691-8_3","volume":"116","author":"CW Lermen","year":"1984","unstructured":"Lermen C.-W., Loeckx J. OBSCURE, a New Specification Language. Recent Trends in Data Type Specification: Informatik Fachberichte, v. 116, 1984, p. 28\u201330.","journal-title":"Recent Trends in Data Type Specification: Informatik Fachberichte"},{"key":"23_CR19","volume-title":"Springer Verlag","author":"JV Guttag","year":"1993","unstructured":"Guttag, J. V., Horning, J.J., ea. Larch: Languages and Tools for Formal Specification. Springer Verlag, 1993."},{"key":"23_CR20","volume-title":"The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0","author":"M Broy","year":"1993","unstructured":"Broy M., Facchi C., Grosu R., ea. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0. Technische Universitaet Muenchen, Institut fuer Informatik, April 1993."},{"key":"23_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M Wirsing","year":"1983","unstructured":"Wirsing, M., Pepper, P., Partsch, H., ea. On Hierarchies of Abstract Data Types. Acta Informatica, 1983, v. 20, p. 1\u201333.","journal-title":"Acta Informatica"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF00288541","volume":"14","author":"R Nakajima","year":"1990","unstructured":"Nakajima, R., Honda, M., and Nakahara, H. Hierarchical Program Specification: a Many-sorted Logical Approach. Acta Informatika 14, pp. 135\u2013155 (1990).","journal-title":"Acta Informatika"}],"container-title":["Workshops in Computing","East\/West Database Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3577-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T05:35:33Z","timestamp":1557812133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3577-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199465","9781447135777"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3577-7_23","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}