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

Olles dieđut

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Mostowski, Wojciech (auth)
Eará dahkkit:	Ulbrich, Mattias (auth)
Materiálatiipa:	Elektrovnnalaš Girjji oassi
Giella:	eaŋgalasgiella
Almmustuhtton:	Springer Nature 2017
Fáttát:	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)
Liŋkkat:	OAPEN Library: download the publication OAPEN Library: description of the publication
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

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

Almmustuhtton 2017

DOAB: download the publication
DOAB: description of the publication

Elektrovnnalaš Girjji oassi

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

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

Geahča maid