Preview
Unable to display preview. Download preview PDF.
References
D.M. Berry: Block Structure: Retention or Deletion? Proc.Third Annual ACM Symp.on Theory of Computing, Shaker Heights, Ohio, May 3–5, 1971
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–180
R.W. Floyd: Assigning Meanings to Programs, Proc. of a Symp. on Appl.Math., Amer.Math.Soc.19, 1967, pp.19–32
C.A.R.Hoare: Proof of a Structured Program: The Sieve of Eratosthenes, The Computer J.15, pp.321–325
C.A.R. Hoare: Proof of a Program: FIND, Comm. of ACM 14, pp.39–45
C.A.R. Hoare, P.E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming languages, Acta Inf.3, pp.135–153
J.B. Johnston: The Contour Model of Block Structured Processes, Proc. of ACM Symp. on Data Structures in Progr. Lang., SIGPLAN notices, Feb.1971
D.E. Knuth: Semantics of Context-Free Languages, Math.Syst.Theor. 2, pp. 127–145
A.A. Markov: Teorija algoritmov, Trudy matematičeskogo instituta imeni V.A.Steklova, 36, pp.176–189 (in Russian)
P. Naur, ed.: Revised Report on the Algorithmic Language ALGOL 60, Comm. of ACM 6, pp.1–17
P. Naur: Proof of algorithms by general snapshots, BIT 6, pp.310–316
V. Rajlich: Relational Structures and Dynamics of Certain Discrete Systems, Proc. Symp. Math. Foundations of Computer Sci., High Tatras, Czechoslovakia, Sept. 3–8, 1973, pp.285–292
V. Rajlich: Dynamics of Certain Discrete Systems and Self-Reproduction of Patterns, Proc. Conf. on Biologically Motivated Automata Th., McLean, Virginia, June 19–21, 1974, pp.192–198.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rajlich, V. (1975). Relational definition of computer languages. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_222
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_222
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive