Author:
Bijlsma A.,Matthews P. A.,Wiltink J. G.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference7 articles.
1. Bijlsma, A., Wiltink, J.G., Matthews, P.A.: Equivalence of the Gries and Martin Proof Rules for Procedure Calls. Acta Inf. 23, 357?360 (1986)
2. Dijkstra, E.W.: A Discipline of Programming. Englewood Cliffs, New Jersey: Prentice Hall 1976
3. Gries, D.: The Science of Programming. New York: Springer 1981
4. Gries, D., Levin, G.: Assignment and Procedure Call Proof Rules. ACM Trans. Progr. Lang. Syst. 2, 564?579 (1980)
5. Hemerik, C.: Formal Definitions of Programming Languages as a Basis for Compiler Construction. Thesis, Eindhoven 1984
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献