LAWS OF PROGRAMMING.

A complete set of algebraic laws is given for E. W. Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of D. S. Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weakest preconditions is suggest...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक: Sufrin, B
स्वरूप: Journal article
प्रकाशित: 1987
Search Result 1

The Laws of Programming द्वारा Hoare, C, Hayes, I, Jifeng, H, Morgan, C, Roscoe, A, Sanders, J, rensen, N, Spivey, J, Sufrin, B

प्रकाशित 1987
Journal article
Search Result 2

Laws of programming द्वारा Roscoe, A, Hoare, C, Jifeng, H, Hayes, I, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B

प्रकाशित 1987
Journal article