Search
for Topics
All Reviews
Browse All Reviews
>
Software (D)
>
Software Engineering (D.2)
>
Coding Tools and Techniques (D.2.3)
> Object-Oriented Programming (D.2.3...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-10 of 12 Reviews about "
Object-Oriented Programming (D.2.3...)
":
Date Reviewed
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-lev...
Jan 2 2014
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 teac...
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...
Apr 1 2010
Professional C# 2008
Nagel C., Evjen B., Glynn J., Skinner M., Watson K., Wrox Press Ltd., Birmingham, UK, 2008. 1848 pp. Type: Book (9780470191378)
The C# programming language and Microsoft .NET are rapidly evolving. How can a C# developer keep up with the new and changing technologies? There are good books focusing on the mastery of particular .NET technologies and frameworks, bu...
Jun 26 2009
Introduction to C++ programming and graphics
Pozrikidis C., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. Type: Book (9780387689920)
Scientists and engineers may be savvy in writing computer programs for scientific computation or process automation in their respective fields, but they may also be new to the C++ programming language, arguably the most popular program...
Apr 25 2008
How to code .NET: tips and tricks for coding .NET 1.1 and .NET 2.0 applications effectively
Gross C., Apress, Berkeley, CA, 2006. 232 pp. Type: Book (9781590597446)
.NET has undergone three major revisions in a few years, making it a little difficult for the average programmer to keep up with the changes and their implications. The author’s purpose is to report on some of the problems he...
Feb 2 2007
Parameterized object sensitivity for points-to analysis for Java
Milanova A., Rountev A., Ryder B. ACM Transactions on Software Engineering and Methodology 14(1): 1-41, 2005. Type: Article
Points-to analysis (PTA) has been a field of research for a long while. The earliest uses of PTA are probably as old as the first program using indirect addressing. The analysis basically consists of determining the set of addresses th...
Sep 29 2006
Effective enterprise Java
Neward T., Addison-Wesley Professional, Boston, MA, 2004. 496 pp. Type: Book (9780321130006)
In his book, Neward provides a comprehensive set of tips that will help Java developers focus on several aspects of Java 2 Platform, Enterprise Edition (J2EE) development, at the system and architectural level. This is not a typical Ja...
Jun 22 2005
The Separation Principle: A Programming Paradigm
Kambayashi Y., Ledgard H. IEEE Software 21(2): 78-87, 2004. Type: Article
This paper purports to describe a new programming paradigm, called the separation principle, which appears to be neither new, nor a programming paradigm. This principle appeared many years ago, in the syntactic construct of Fortran cal...
Jan 11 2005
Expert C# business objects
Lhotka R., APress, LP, 2004. Type: Book (9781590593448)
Using the Microsoft C# language to create a framework of business objects in the Microsoft .NET environment is covered in this book. These objects encapsulate a number of features applicable in a distributed architecture. The framework...
Nov 11 2004
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy