Partial correctness for probabilistic demonic programs
Recent work in sequential program semantics has produced both an operational (He et al., Sci. Comput. Programming 28(2, 3) (1997) 171–192) and an axiomatic (Morgan et al., ACM Trans. Programming Languages Systems 18(3) (1996) 325–353; Seidel et al., Tech Report PRG-TR-6-96, Programming Research grou...
| প্রধান লেখক: | , |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | Journal article |
| ভাষা: | English |
| প্রকাশিত: |
Elsevier
2001
|
| বিষয়গুলি: |