Значок книги

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Показать другие версии (1)

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 (auth)
Другие авторы:	Ulbrich, Mattias (auth)
Формат:	Электронный ресурс Глава книги
Язык:	английский
Опубликовано:	Springer Nature 2017
Предметы:	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-ссылка:	OAPEN Library: download the publication OAPEN Library: description of the publication
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
по: Mostowski, Wojciech
Опубликовано: (2017)

The Train Wire: A Discussion of the Science of Train Dispatching (Second Edition)
по: Anderson, John Alexander, 1829-1917

La Prédication existentielle dans les langues naturelles : valeurs et repérages, structures et modalités
Опубликовано: (2020)

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
по: David A. Rosenblueth
Опубликовано: (2016)

Inquisitive Logic Consequence and Inference in the Realm of Questions
по: Ciardelli, Ivano
Опубликовано: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
по: Ciardelli, Ivano
Опубликовано: (2022)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубликовано: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубликовано: (2021)

Logic and Computation
Опубликовано: (2023)

Bedarf und Verteilung elektrischer Tagesspeicher im zukünftigen deutschen Energiesystem
по: Babrowski, Sonja
Опубликовано: (2015)

Inquisitive Logic Consequence and Inference in the Realm of Questions /
по: Ciardelli, Ivano
Опубликовано: (2022)

Issledovanija po semantike predikatov vnutrennego sostojanija. Investigations in the semantics of inner state predicates
по: Zaliznjak, Anna A.
Опубликовано: (1992)

Issledovanija po semantike predikatov vnutrennego sostojanija. Investigations in the semantics of inner state predicates
по: Zaliznjak, Anna A.
Опубликовано: (1992)

Mechanisms of Innate Neuroprotection
по: Giuseppe Pignataro
Опубликовано: (2016)

The Logical Writings of Karl Popper
Опубликовано: (2022)

Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Опубликовано: (2016)

Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Опубликовано: (2016)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
по: Weiß, Benjamin
Опубликовано: (2011)

Applications of Computational Intelligence to Power Systems
по: Kodogiannis, Vassilis S.
Опубликовано: (2019)

Deductive Systems in Traditional and Modern Logic
Опубликовано: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /
Опубликовано: (2019)

What Do We Know About the World? Rhetorical and Argumentative Perspectives
по: Gabrijela Kišiček
Опубликовано: (2013)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

Practising Comparison
по: Joe Deville, Michael Guggenheim, Zuzana Hrdli?ková
Опубликовано: (2016)

Deductive Logic
по: Stock, St. George William Joseph, 1850-

The Essays of Arthur Schopenhauer; the Art of Controversy
по: Schopenhauer, Arthur, 1788-1860; Saunders, T. Bailey (Thomas Bailey), 1860-1928 [Translator]

Logic: Deductive and Inductive
по: Read, Carveth, 1848-1931

Logic, Inductive and Deductive
по: Minto, William, 1845-1893

The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning
по: Boole, George, 1815-1864

The Art of Logical Thinking; Or, The Laws of Reasoning
по: Atkinson, William Walker, 1862-1932

Studies in Logical Theory
по: Dewey, John, 1859-1952

Essays in Experimental Logic
по: Dewey, John, 1859-1952

Prolegomena to the Study of Hegel's Philosophy, and Especially of His Logic
по: Wallace, William, 1844-1897

First notions of logic (preparatory to the study of geometry)
по: De Morgan, Augustus, 1806-1871

Reformed Logic A System Based on Berkeley's Philosophy with an Entirely New Method of Dialectic
по: McLachlan, D. B.

Logic as the Science of the Pure Concept
по: Croce, Benedetto, 1866-1952; Ainslie, Douglas, 1865-1948 [Translator]

The Logic of Hegel
по: Hegel, Georg Wilhelm Friedrich, 1770-1831; Wallace, William, 1844-1897 [Translator]

A Class Room Logic Deductive and Inductive, with Special Application to the Science and Art of Teaching
по: McNair, George Hastings