Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Coding Tools and Techniques (D.2.3) > Object-Oriented Programming (D.2.3...)  
  1-10 of 84 Reviews about "Object-Oriented Programming (D.2.3...)": Date Reviewed
   An analysis of inheritance hierarchy evolution
Wood M., Ivanov L., Lamprou Z.  EASE 2019 (Proceedings of the Evaluation and Assessment on Software Engineering, Copenhagen, Denmark,  Apr 15-17, 2019) 24-33, 2019. Type: Proceedings

This is a refreshing paper on ten open-source systems and their use of “inheritance” programing concepts. Computer languages have evolved with the type-safe extensibility concept of inheritance, which is embodied in object-oriented (OO...

Apr 13 2021
  C# 6 for programmers (6th ed.)
Deitel P., Deitel H.,  Prentice Hall Press, Upper Saddle River, NJ, 2016. 768 pp. Type: Book (978-0-134596-32-7)

The popularity of computer programming courses and their associated languages has led to the publication of numerous texts and reference books. Throughout the long history of computer programming books, there has been a standardized format: start ...

Sep 11 2017
   Behavioral subtyping, specification inheritance, and modular reasoning
Leavens G., Naumann D.  ACM Transactions on Programming Languages and Systems 37(4): 1-88, 2015. Type: Article

This is a long paper: 67 pages plus a 21-page appendix. It describes the verification of a dynamically dispatched method call of an object-oriented program by using supertype abstraction. The authors maintain that such abstraction is only valid wh...

Dec 15 2015
  Contracts for first-class classes
Strickland T., Dimoulas C., Takikawa A., Felleisen M.  ACM Transactions on Programming Languages and Systems 35(3): 1-58, 2013. Type: Article

Contracts are formal and verifiable specifications that extend traditional type definitions by including preconditions, postconditions, invariants, acceptable inputs and outputs, and other behavioral specifications [1]. These class-level specifica...

Jan 2 2014
  Object-oriented programming with gradual abstraction
Nørmark K., Thomsen L., Thomsen B.  DLS 2012 (Proceedings of the 8th Symposium on Dynamic Languages, Tucson, AZ,  Oct 22, 2012) 41-52, 2012. Type: Proceedings

Object-oriented programming (OOP) is a highly preferred approach for implementing software artifacts. Despite the modeling expressiveness of OOP and the popularity of many programming languages supporting it, the notions and concepts involved in c...

Oct 28 2013
  Xcode 4 unleashed (2nd ed.)
Anderson F.,  Sams publishing, Indianapolis, IN, 2012. 768 pp. Type: Book (978-0-672333-27-9)

A thorough guide to the world of Mac and iOS app development, this book carefully tackles the different functionalities of Xcode 4, describes its user interface, and offers useful hints to make the most of this powerful development platform. Ander...

Jan 7 2013
  Design and evaluation of C++ open multi-methods
Pirkelbauer P., Solodkyy Y., Stroustrup B.  Science of Computer Programming 75(7): 638-667, 2010. Type: Article

The fact that Bjarne Stroustrup, the creator of C++, is one of the authors suggests that this paper on the C++ open multi-methods approach has validity. The authors ensure that the new approach supports C++ call-resolution semantics. Additionally,...

May 13 2011
  Issues in testing collection class libraries
Wolfmaier K., Ramler R., Dobler H.  ETOOS 2010 (Proceedings of the 1st Workshop on Testing Object-Oriented Systems, Maribor, Slovenia,  Jun 21, 2010) 1-8, 2010. Type: Proceedings

Any new programming language or environment comes with its own set of classes to model collections. History shows that having a standard way to manipulate a group of objects is a nonnegligible strength. However, having a robust collection library ...

Apr 29 2011
  STREAM: a first programming process
Caspersen M., Kolling M.  ACM Transactions on Computing Education (TOCE) 9(1): 1-29, 2009. Type: Article

As stated in the introduction, “the task of teaching programming did not become easier over the last decades.” The increasing complexity of programming languages and development tools plays an important role in teaching programming. Ac...

Apr 9 2010
  Fast type reconstruction for dynamically typed programming languages
Pluquet F., Marot A., Wuyts R.  DLS 2009 (Proceedings of the 5th Symposium on Dynamic Languages, Orlando, FL,  Oct 26, 2009) 69-78, 2009. Type: Proceedings

The increasing popularity of dynamically typed languages--such as JavaScript, Ruby, and Smalltalk--pressures their associated community to produce better tools for program comprehension and verification. Automatically extracting type inf...

Apr 1 2010
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy