Dissertation Information for Philip JohnsonNAME:
DEGREE:
DISCIPLINE:
SCHOOL: ADVISORS: COMMITTEE MEMBERS: MPACT Status: Incomplete - Inspected Title: Type flow analysis for exploratory software development
Abstract: """Exploratory"" programming languages and development enjoy a reputation for enabling both rapid development of prototype implementations and ease of evolution as experience with these prototypes suggests improvements. However, the exploratory paradigm also suffers from a reputation for producing brittle systems, prone to errors and run-time failure. The run-time, dynamic typing associated with exploratory languages contributes to both of these reputations. On the one hand, the ability of exploratory programs to define new types during execution and to dispatch based upon the types of data objects facilitates development by providing powerful forms of polymorphism and abstraction. On the other hand, these same capabilities preclude conventional approaches to compile-time assessment of type safety, such as the declaration-based mechanisms in languages like Pascal, or the inference mechanisms in functional languages like ML. |
MPACT Scores for Philip JohnsonA = 2 Advisors and Advisees Graphgenerating graph, please reload |
Students under Philip Johnson
ADVISEES:
- Dadong Wan - University of Hawaii (1994)
- Danurahardjo Tjahjono - University of Hawaii (1996)
COMMITTEESHIPS:
- Kelly Burke - University of Hawaii (1994)


