{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T01:10:26Z","timestamp":1726017026381},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106999"},{"type":"electronic","value":"9783540386544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10699-5_97","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:13:48Z","timestamp":1330190028000},"page":"169-209","source":"Crossref","is-referenced-by-count":2,"title":["Building data base management systems through formal specification"],"prefix":"10.1007","author":[{"given":"E. J.","family":"Neuhold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Th.","family":"Olnhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00268496","volume":"6","author":"E. R. Anderson","year":"1976","unstructured":"Anderson, E.R., Bell, F.C., Blum, E.K.: SEMANOL (73), A Meta-language for Programming the Semantics of Programming Languages.\u2014 Acta Informatica, 6, pp. 109\u2013131 (1976).","journal-title":"Acta Informatica"},{"key":"7_CR2","unstructured":"Bekic, H., Bjoerner, D., Henhapl, W., Jones, C.B., Lucas, P.: A Formal Definition of a PL\/I Subset.\u2014 IBM Vienna, Technical Report TR 25.139, parts I and II, (1974)."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bjoerner, D., Jones, C.B. (eds.): The Vienna Development method: The Meta Language.\u2014 Lecture Notes in Computer Science, No. 61, Springer Verlag (1978).","DOI":"10.1007\/3-540-08766-4"},{"key":"7_CR4","unstructured":"Bjoerner, D., Haff, P.L.: The Formal Definition of CHILL.\u2014 C.C.I.T.T. Recommendation Z200 Supplement, ITU Geneva (1981)."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bjoerner, D., Oest, O.N. (eds.): Towards a Formal Description of Ada.\u2014 Lecture Notes in Computer Science, No. 98, Springer Verlag (1980).","DOI":"10.1007\/3-540-10283-3"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bjoerner, D.: Formalization of Data Base Models.\u2014 In: Bjoerner, D. (ed.): Abstract Software Specification.\u2014 Lecture Notes in Computer Science, No. 86, Springer Verlag (1980).","DOI":"10.1007\/3-540-10007-5_37"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Chamberlin, D.D. et al.: SEQUEL2: A Unified Approach to Data Definition, Manipulation and Control.\u2014 IBM Journal of Res. and Development 20, No. 6 (1976).","DOI":"10.1147\/rd.206.0560"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Codd, E.F.: A Relational Data Model of Data for Large Shared Data Banks.\u2014 Comm. of ACM 13, No. 6 (1970).","DOI":"10.1145\/362384.362685"},{"key":"7_CR9","unstructured":"Codd, E.F.: Relational Completeness of Data Base Sublanguages.\u2014 In: Data Base Systems, Courant Comp. Science Symposium Series 6, Prentice Hall (1972)."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning Meanings to Programs.\u2014 In: Schwartz, J.T. (ed.): Mathem. Aspects of Computer Science, Proc. Symposia in Applied Mathematics, 19, Amer. Math. Soc. (1967).","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"7_CR11","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, F.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types.\u2014 In: Yeh, R.T. (ed.): Current Trends in Programming Methodology, Vol. IV, Prentice Hall 78."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Guttag, J.V.: Abstract Data Types and the Development of Data Structures.\u2014 Comm. of ACM 20 (1977).","DOI":"10.1145\/359605.359618"},{"key":"7_CR13","unstructured":"Henhapl, W., Jones, C.B.: A Formal Definition of ALGOL 60 as Described in the 1975 Modified Report.\u2014 In: \/3\/"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming.\u2014 Comm. ACM 12, (1967).","DOI":"10.1145\/363235.363259"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, Comm. ACM, Vol. 21, No.8, August 1978","DOI":"10.1145\/359576.359585"},{"key":"7_CR16","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach.\u2014 Prentice Hall Int. (1980)."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Liskov, B., Zilles, S.: Programming with Abstract Data Types.\u2014 ACM SIGPLAN 9, No. 4 (1974).","DOI":"10.1145\/942572.807045"},{"key":"7_CR18","unstructured":"Lucas, P., Walk, K.: On the Formal Description of PL\/I.\u2014 Annual Review in Automata Programming, 6, Part 3, (1970)."},{"key":"7_CR19","unstructured":"Neuhold, E.J. et al.: POREL Design Specification.\u2014 Inst. fuer Informatik, Univ. of Stuttgart (1978)."},{"key":"7_CR20","unstructured":"Neuhold, E.J., Olnhoff, Th.: The Vienna Development Method (VDM) and its Use for the Specification of a Relational Data Base System.\u2014 Proc. of the IFIP Congress 1980, North Holland Publ. Comp. (1980)."},{"key":"7_CR21","volume-title":"Modelling in Data Base Management Systems","author":"G. M. Nijssen","year":"1976","unstructured":"Nijssen, G.M.: A Gross Architecture for Next Generation DBMS.\u2014 In: Nijssen, G.M. (ed.): Modelling in Data Base Management Systems, North Holland, Amsterdam (1976)."},{"key":"7_CR22","unstructured":"Olnhoff, Th.: Funktionale Semantikbeschreibung einer Anfragesprache in einem drei-schichtigen relationalen Datenbank-system.\u2014 Dissertation, Univ. of Hamburg (1981)."},{"key":"7_CR23","unstructured":"Scott, D.S., Strachey C.: Towards a Mathematical Semantics for Computer Languages.\u2014 In: Fox, J. (ed.): Proc. of the Symposium on Computers and Automata, Polyt. Inst. of Brooklyn (1971)."},{"key":"7_CR24","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory.\u2014 MIT Press (1977)."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Tsichritzis, D., Klug, A.: The ANSI\/SPARC DBMS Framework.\u2014 Information Systems, Vol. 3 (1978).","DOI":"10.1016\/0306-4379(78)90001-7"}],"container-title":["Lecture Notes in Computer Science","Formalization of Programming Concepts"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10699-5_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:22Z","timestamp":1605643402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10699-5_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106999","9783540386544"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-10699-5_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}