Work

Towards Safe Modular Extensible Objects

Year: 1994

Type: article

Abstract: We discuss the module system of the Cecil language, which has a flexible means of customizing views of objects. Multi-methods with invocation based on static scoping, a module system, and extension modules are used to allow object extension while allowing type safety.

Source: Iowa State University Digital Repository (Iowa State University)

Authors: Gary T. Leavens, Craig Chambers

Institutions: Iowa State University, University of Washington

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: National Science Foundation

Awards: Formal Specification for C++ Programs, Design and Implementation of High-Productivity Programming Systems

OpenAlex ID: W1562863263

FWCI:

Cites: 2

Cited by:

Related to: 10