America is said to be the land of the free and the home of the brave. With the unfair treatment of people of color in this country, however, one would believe that somewhere in the fine print, they were excluded from that phrase. The very foundation of this country was...
Published April 1988. Facts and recommendations in this publication may no longer be valid. Please look for up-to-date information in the OSU Extension Catalog: http://extension.oregonstate.edu/catalog
Two powerful reasoning tools have recently appeared, logic programming and assumption based truth maintenance systems (ATMS). An ATMS offers significant advantages to a problem solver: assumptions are easily managed and the search for solutions can be carried out in the most general context first and in any order. Logic programming...
Three different approaches to type checking have been taken in object-oriented programming languages. Smalltalk-80 uses run-time type checking. C++ uses subtypes. A third alternative is to use parameterized types. We examine the difficulties of programming in an object-oriented fashion with compile-time type checking and argue that parameterized types are better...