Modular Verification Of Object Oriented Programs With Subtypes
Download Modular Verification Of Object Oriented Programs With Subtypes full books in PDF, epub, and Kindle. Read online free Modular Verification Of Object Oriented Programs With Subtypes ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 91
Pages: 91
Type: BOOK - Published: 1990 - Publisher:
Specifications of polymorphic functions are written by allowing instances of subtypes as arguments. Restrictions on the way that abstract types are specified en
Language: en
Pages: 297
Pages: 297
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,
Language: en
Pages: 64
Pages: 64
Type: BOOK - Published: 1992 - Publisher:
We also prove that the specification language and the Hoare logic are modular in the sense that when new types of objects are added to the program, unchanged mo
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 1988 - Publisher:
Language: en
Pages: 207
Pages: 207
Type: BOOK - Published: 2011-01-14 - Publisher: Springer Science & Business Media
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO