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...

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Mostowski, Wojciech (auth)
Diğer Yazarlar:	Ulbrich, Mattias (auth)
Materyal Türü:	Elektronik Kitap Bölümü
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Springer Nature 2017
Konular:	Computing & information technology 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)
Online Erişim:	DOAB: download the publication DOAB: description of the publication
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates Yazar: Mostowski, Wojciech

Baskı/Yayın Bilgisi 2017

OAPEN Library: download the publication
OAPEN Library: description of the publication

Elektronik Kitap Bölümü

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates Yazar: Mostowski, Wojciech

Benzer Materyaller