Results 21 to 30 of about 317,319 (215)
A Logic of Object-Oriented Programs [PDF]
, 1997 We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in objects. It is much like a type system for objects with subtyping, but our specifications go further than types in detailing pre- and postconditions.
K. Rustan M. Leino, Martín Abadi
openaire +2 more sources
A Novice's Process of Object-Oriented Programming [PDF]
, 2006 Exposing students to the process of programming is merely implied but not explicitly addressed in texts on programming which appear to deal with 'program' as a noun rather than as a verb.We present a set of principles and techniques as well as an ...
Caspersen, Michael E., Kölling, Michael
core +1 more source
Polyglot: Jurnal Ilmiah, 2018 In general, many people learn structured programming first and then learn object-oriented programming. This makes it difficult for someone to learn object-oriented programming.
Dodi Dodi +2 more
doaj +1 more source
A Review of Object-Oriented Programming Software Metrics [PDF]
المجلة العراقية للعلوم الاحصائية, 2019 It is no secret that the software industry in the present and future time is the leading industry and the main element in any new technology and is involved in most modern industries, from the smallest ones such as mobile phones and smart watches to the ...
Mariam Hussian, Mohammed Aldabbag
doaj +1 more source
Channels as Objects in Concurrent Object-Oriented Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream object-oriented ...
Joana Campos, Vasco T. Vasconcelos
doaj +1 more source
An Object Oriented Approach to Semidefinite Programming [PDF]
Mathematical and Computational Applications, 1998 An object-oriented design and implementation of a primal-dual algorithm for solving the semidefinite programming problem is pn~sented. The advantages of applying the object-oriented methodology to numerical computations, in particular to an interior point algorithm for semidefinite programming, or for solving other types of linear matrix inequalities ...
Yuzhen, Ge +2 more
openaire +3 more sources
The Object Oriented Programming for Queuing System [PDF]
Computer Science Journal of Moldova, 1993 The object oriented programming approach for priority service systems with orientation is developed. It provide fast evaluation of the characteristics.
I. Grama, G. Mishkoy
doaj
Открытое образование (Москва), 2016 This article is devoted to the ways of teaching object-oriented programming of bachelors of pedagogical education in network community. The article provides a definition of competence in the domain of objectoriented programming and describes its ...
Diana V. Moglan
doaj +1 more source
Static typing for object-oriented programming
Science of Computer Programming, 1991 We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement.
Schwartzbach, Michael Ignatieff +1 more
openaire +3 more sources
Application and practice of personalized education based on big data analysis in Java object-oriented program design [PDF]
MATEC Web of ConferencesThis paper delves into the application and practice of personalized education based on big data analysis in the teaching of Java object-oriented programming. By constructing a big data analysis model, we have achieved precise collection and processing of
Xing Xuexia, Yanan Zhai
doaj +1 more source