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

Fuld beskrivelse

Bibliografiske detaljer

Main Authors:	Mostowski, Wojciech, Ulbrich, Mattias
Format:	Online
Sprog:	engelsk
Udgivet:	Springer Nature 2021
Fag:	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 adgang:	644831
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!