Author(s)

R. Bagai, S. Alagic & R. Sunderraman

Abstract

We present a typed object-oriented prototyping technology and its associ- ated methodology for large-scale quality software development. The tech- nology supports a design methodology that leads to the development of strongly and largely statically typed software. In addition to pushing static type checking to its limits, the proposed technology relies heavily on Horn logic based specifications that capture the semantic subtleties of the target paradigm. The underlying type system supports advanced features, such as inheritance, behavioural subtyping, and subtype and parametric poly- morphism. The core of the technology is an object-oriented, logic based, strongly-typed specification language, and its interpretive implementation. The result is a powerful prototyping tool for software development, which permits rapid prot

Keywords