{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:26Z","timestamp":1725662906762},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_222","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:55:36Z","timestamp":1330167336000},"page":"362-376","source":"Crossref","is-referenced-by-count":2,"title":["Relational definition of computer languages"],"prefix":"10.1007","author":[{"given":"V\u00e1clav","family":"Rajlich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"45_CR1","unstructured":"D.M. Berry: Block Structure: Retention or Deletion? Proc.Third Annual ACM Symp.on Theory of Computing, Shaker Heights, Ohio, May 3\u20135, 1971"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"H.Ehrig, M. Pfender, H.J. Schneider: Graph Grammars: An Algebraic Approach, Proc. 1973 IEEE Conf. on Switching and Automata Theory, Iowa City, Iowa, pp.167\u2013180","DOI":"10.1109\/SWAT.1973.11"},{"key":"45_CR3","first-page":"19","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"R.W. Floyd: Assigning Meanings to Programs, Proc. of a Symp. on Appl.Math., Amer.Math.Soc.19, 1967, pp.19\u201332","journal-title":"Amer.Math.Soc."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"C.A.R.Hoare: Proof of a Structured Program: The Sieve of Eratosthenes, The Computer J.15, pp.321\u2013325","DOI":"10.1093\/comjnl\/15.4.321"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: Proof of a Program: FIND, Comm. of ACM 14, pp.39\u201345","DOI":"10.1145\/362452.362489"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, P.E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming languages, Acta Inf.3, pp.135\u2013153","DOI":"10.1007\/BF00264034"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"J.B. Johnston: The Contour Model of Block Structured Processes, Proc. of ACM Symp. on Data Structures in Progr. Lang., SIGPLAN notices, Feb.1971","DOI":"10.1145\/1115880.1115883"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"D.E. Knuth: Semantics of Context-Free Languages, Math.Syst.Theor. 2, pp. 127\u2013145","DOI":"10.1007\/BF01692511"},{"key":"45_CR9","unstructured":"A.A. Markov: Teorija algoritmov, Trudy matemati\u010deskogo instituta imeni V.A.Steklova, 36, pp.176\u2013189 (in Russian)"},{"key":"45_CR10","unstructured":"P. Naur, ed.: Revised Report on the Algorithmic Language ALGOL 60, Comm. of ACM 6, pp.1\u201317"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"P. Naur: Proof of algorithms by general snapshots, BIT 6, pp.310\u2013316","DOI":"10.1007\/BF01966091"},{"key":"45_CR12","unstructured":"V. Rajlich: Relational Structures and Dynamics of Certain Discrete Systems, Proc. Symp. Math. Foundations of Computer Sci., High Tatras, Czechoslovakia, Sept. 3\u20138, 1973, pp.285\u2013292"},{"key":"45_CR13","unstructured":"V. Rajlich: Dynamics of Certain Discrete Systems and Self-Reproduction of Patterns, Proc. Conf. on Biologically Motivated Automata Th., McLean, Virginia, June 19\u201321, 1974, pp.192\u2013198."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_222.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:26Z","timestamp":1605625046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_222","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}