DMCA. Copyrighted Work that you can Claim.
Base have 2315513 titles. Books: 2315513. Articles: 0

Preview A Logic of Object-Oriented Programs pdf file

analogue of Hoare logic for object-oriented programs. Our main techni- ... understanding of object-oriented programming languages. Roughly ..... explanation of our approach. ...... An object-based design method for concurrent programs.

Related links: