कवर छवि

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)
ऑनलाइन पहुंच:	DOAB: download the publication DOAB: description of the publication
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

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