kirancodes.me
To Proof Maintenance & Beyond!

The Trellis Programming Environment

Patrick D. O'Brien, Daniel C. Halbert, Michael F. Kilian

Abstract

The Trellis programming environment supports programming in Trellis/Owl, an object-based language with multiple inheritance and compile-time type-checking. Trellis is composed of a number of integrated tools that share a common programming environment database. It is a highly interactive, easy-to-use programming environment, providing various programming aids, incremental compilation, and good debugging support. Trellis is both integrated and open-ended.

Related papers