Loading...
Please wait, while we are loading the content...
Similar Documents
On the Syllogistic Structure of Object-Oriented Programming (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Rayside, Derek Kontogiannis, Kostas |
| Description | Recent works by Sowa and by Rayside & Campbell demonstrate that there is a strong connection between objectoriented programming and the logical formalism of the syllogism, first set down by Aristotle in the Prior Analytics. In this paper, we develop an understanding of polymorphic method invocations in terms of the syllogism, and apply this understanding to the design of a novel editor for object-oriented programs. This editor is able to display a polymorphic call graph, which is a substantially more difficult problem than displaying a non-polymorphic call graph. We also explore the design space of program analyses related to the syllogism, and find that this space includes Unique Name, Class Hierarchy Analysis, Class Hierarchy Slicing, Class Hierarchy Specialization, and Rapid Type Analysis. |
| File Format | |
| Language | English |
| Publisher Date | 2001-01-01 |
| Publisher Institution | IN HAUSI MÜLLER, MARY-JEAN HARROLD, AND WILLHELM SHÄFER, EDITORS, ICSE’01 |
| Access Restriction | Open |
| Subject Keyword | Difficult Problem Recent Work Design Space Rayside Campbell Demonstrate Logical Formalism Object-oriented Program Novel Editor Class Hierarchy Slicing Polymorphic Method Invocation Non-polymorphic Call Graph Class Hierarchy Specialization Unique Name Polymorphic Call Graph Program Analysis Class Hierarchy Analysis Prior Analytics Strong Connection Object-oriented Programming Syllogistic Structure Rapid Type Analysis |
| Content Type | Text |
| Resource Type | Article |
