Author:
Desharnais Jules,Madhavji Nazim H.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. J. Backus. From function level semantics to program transformation and optimization. Mathematical Foundations of Software Development. Proc. Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Berlin, March 1985, Vol. 1, Lecture Notes in Comp. Sci. 185, Springer-Verlag 1985, 60–91.
2. J. W. De Bakker and W. P. De Roever. A calculus for recursive program schemes. Automata, languages and programming. Proc. symp. organized by IRIA, Rocquencourt, France, July 1972, (M. Nivat, ed.), North-Holland 1973, 167–196.
3. R. Berghammer and H. Zierer. Relational algebraic semantics of deterministic and nondeterministic programs. Theor. Comput. Sci. 43, 1986, 123–147.
4. A. Blikle. A comparative review of some program verification methods. Proc. 6th Symp. Math. Found. Comput. Sci., (J. Gruska, ed.), Lecture Notes in Comp. Sci. 53, Springer-Verlag 1977, 17–33.
5. E.F. Codd. A relational model for large shared data banks. Commun. ACM 13, 6, June 1970, 377–387.