Výsledky vyhledávání - "Inheritance (object-oriented programming)"

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Autoři: Mostowski, Wojciech Ulbrich, Mattias

Témata: 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), Computing and Information Technology

Popis souboru: application/pdf

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/30616

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Autoři: Mostowski, Wojciech Ulbrich, Mattias

Zdroj: 644831.pdf

Témata: Predicate (mathematical logic), KeY, thema EDItEUR::U Computing and Information Technology, Postcondition, encapsulation, Inheritance (object-oriented programming), Java Modeling Language, dispatch, First-order logic, ghost, Liskov substitution principle, Boolean data type, Dynamic dispatch

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://directory.doabooks.org/handle/20.500.12854/30241
http://library.oapen.org/handle/20.500.12657/30616
https://library.oapen.org/bitstream/20.500.12657/30616/1/644831.pdf
http://library.oapen.org/handle/20.500.12657/30616

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Autoři: Mostowski, Wojciech Ulbrich, Mattias

Témata: 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), thema EDItEUR::U Computing and Information Technology

Popis souboru: image/jpeg

Relation: 644831; OCN: 1030820407; http://library.oapen.org/handle/20.500.12657/30616; https://library.oapen.org/bitstream/20.500.12657/30616/1/644831.pdf

Dostupnost: http://library.oapen.org/handle/20.500.12657/30616
https://hdl.handle.net/20.500.12657/30616
https://directory.doabooks.org/handle/20.500.12854/30241
https://hdl.handle.net/20.500.12854/30241
https://library.oapen.org/bitstream/20.500.12657/30616/1/644831.pdf

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates ; 644831.pdf

Autoři: Mostowski, Wojciech Ulbrich, Mattias

Témata: 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), thema EDItEUR::U Computing and Information Technology

Popis souboru: application/pdf

Relation: 644831; OCN: 1030820407

Dostupnost: http://library.oapen.org/handle/20.500.12657/30616
https://hdl.handle.net/20.500.12657/30616