Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the concept of dynamic dispatch to design-by-contract...

詳細記述

書誌詳細

主要な著者:	Mostowski, Wojciech, Ulbrich, Mattias
フォーマット:	Online
言語:	英語
出版事項:	Springer Nature 2021
主題:	dispatch encapsulation ghost Boolean data type Dynamic dispatch First-order logic Inheritance (object-oriented programming) Java Modeling Language KeY Liskov substitution principle Postcondition Predicate (mathematical logic)
オンライン･アクセス:	644831
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!