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...
Yazar: | Sufrin, B |
---|---|
Materyal Türü: | Journal article |
Baskı/Yayın Bilgisi: |
1987
|
Benzer Materyaller
-
The Laws of Programming
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1987) -
Laws of programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1987) -
Formal specification and design of a simple assembler
Yazar:: Sørensen, I, ve diğerleri
Baskı/Yayın Bilgisi: (1987) -
MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
Yazar:: Sufrin Efendi Lubis
Baskı/Yayın Bilgisi: (2020-09-01) -
مستقبل التعليم في إندونيسية بين الرجاء والتمني
Yazar:: Sufrin Efendi Lubis
Baskı/Yayın Bilgisi: (2019-10-01)