Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Method overriding"'
Publikováno v:
ESEC/SIGSOFT FSE
Unit testing focuses on verifying the functions of individual units of a software system. It is challenging due to the high inter-dependencies among software units. Developers address this by mocking-replacing the dependency by a "faked" object. Desp
Autor:
Vaskaran Sarcar
Publikováno v:
Interactive Object-Oriented Programming in Java ISBN: 9781484254035
In the previous chapter, you learned that method overriding can help you to achieve runtime polymorphism. In this chapter, you will further explore the concept with two powerful techniques—abstract classes and interfaces. In addition to this, you w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9635df7727f695c2090dc626848c0d0
https://doi.org/10.1007/978-1-4842-5404-2_6
https://doi.org/10.1007/978-1-4842-5404-2_6
Autor:
Dominic Kao
Publikováno v:
FDG
In this paper, we describe JavaStrike1. JavaStrike is a Java development and execution environment that was developed from scratch inside Unity. The engine currently supports classes, functions, inheritance, polymorphism, interfaces, key-value stores
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 84:37-53
The code base of a software system undergoes changes during its life time. For object-oriented languages, classes are adapted, e.g., to meet new requirements, customize the software to specific user functionalities, or refactor the code to reduce its
Publikováno v:
Mezzetti, G, Møller, A & Strocco, F 2016, Type unsoundness in practice: An empirical study of dart . in R Ierusalimschy (ed.), DLS 2016-Proceedings of the 12th Symposium on Dynamic Languages . Association for Computing Machinery, pp. 13-24, Amsterdam, Netherlands, 30/10/2016 . https://doi.org/10.1145/2989225.2989227
Proceedings of the 12th Symposium on Dynamic Languages
DLS
Proceedings of the 12th Symposium on Dynamic Languages
DLS
The type system in the Dart programming language is deliberately designed to be unsound: for a number of reasons, it may happen that a program encounters type errors at runtime although the static type checker reports no warnings. According to the la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21768353ce75dc641872fa29c02b9f6d
https://pure.au.dk/portal/da/publications/type-unsoundness-in-practice-an-empirical-study-of-dart(f9d75279-da55-46c8-a7fa-e9cd8517a53c).html
https://pure.au.dk/portal/da/publications/type-unsoundness-in-practice-an-empirical-study-of-dart(f9d75279-da55-46c8-a7fa-e9cd8517a53c).html
Publikováno v:
Science of Computer Programming. 76:992-1014
Class inheritance and method overriding, as provided by standard class-based languages, are often not flexible enough to represent objects with some dynamic behavior. In this respect, object composition equipped with different forms of method body lo
Publikováno v:
ACM Transactions on Programming Languages and Systems. 31:1-54
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the conditions und
Publikováno v:
POPL
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement inherently weakens the specifications of overridden methods in supercla
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Todd Millstein
Publikováno v:
OOPSLA
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the conditions und