Technical correspondence

  title={Technical correspondence},
  author={Diane Crawford},
I n 1968 Edsgar Dijkstra, prominent computer scientist from the Netherlands, published his comment in the Communications , "GO TO Statement Considered Harmful" (Mar. p. 147). The central assertion of his article fomented a revolution in the way people thought about programming. It also launched a kind of "inquisition," during which software grammarians sought to ex-purgate GO TO statements in much the same way well-meaning censors bowdlerize salacious literature. Cobol programmers were among… 


What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks
In this article* the more common interpretations of IS-A are cataloged and some differences between systems that, on the surface, appear very similar are pointed out.
Object CHILL—an object oriented language for systems implementation
Object CHILL, an object oriented extension of CHILL which has been devefoped and implemented at Siimens, contains concurrent classes and assertions for methods and cfassesl objects.
Structure and complexity of relational queries
  • A. K. Chandra, D. Harel
  • Computer Science
    21st Annual Symposium on Foundations of Computer Science (sfcs 1980)
  • 1980
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
Molecular, operational, and conceptual models of inheritance are examined, leading to a discussion of algebraic models of behavioral compatibility, horizontal and vertical signature modification, algorithmically defined name modification, additive and subtractive exceptions, abstract inheritance networks, and parametric polymorphism.
Concepts and paradigms of object-oriented programming
Object-oriented programming is a robust component-based modeling paradigm that is both effective and fundamental, and its mathematical models are reviewed to make them accessible to nonmathematical readers.
Genericity versus inheritance
This article shows what features are needed to successfully combine the two approaches in a statically typed language and presents the main features of the programming language Eiffel, whose design, resulting in part from this study, includes multiple inheritance and limited form of genericity under full static typing.
The Annotated C++ Reference Manual
This chapter discusses the evolution of C++ and ANSI C, a standards-based programming language, and its applications in the rapidly changing environment, as well as some of the techniques used to design and implement these systems.
Classification in object-oriented systems
The relation between biological and object-oriented classification is reviewed, the classification paradigm to communication and state transition paradigms is related, and its realization by calculi and algebras is explored.
Universality of data retrieval languages
Although relational algebra and relational calculus satisfy these principles, there are certain queries involving least fixed points that cannot be expressed by these languages, yet that also satisfy the principles.
The object-oriented systems life cycle
In software engineering, the traditional description of the software life cycle is based on an underlying model, commonly referred to as the “waterfall” model (e.g., [4]). This model initially