Accession Number : ADA316782

Title :   Specialization Classes: An Object Framework for Specialization,

Corporate Author : OREGON GRADUATE INST BEAVERTON

Personal Author(s) : Cowan, Crispin ; Black, Andrew ; Krasic, Charles ; Consel, Charles ; Volanschi, Eugen-Nicolae

PDF Url : ADA316782

Report Date : 06 SEP 1996

Pagination or Media Count : 6

Abstract : This paper presents an object-oriented framework for specifying specializations in long-running pro- grams such as operating systems. This model is based on the following concepts: (1) Inheritance allows replacement implementations of member functions. We thus use a graph of sub-classes to specify a set of potential specializations of a given facility by replacing generic implementations with specialized implementations. (2) Specializations in long-running programs are temporary, because the particular circumstances that permit the use of a specialized implementation are likely to change eventually. We thus support temporary and even optimistic specializations. (3) Ensuring that it is valid to use a specialized implementation can be more difficult than creating the specialized implementation. We thus use a formal method to specify when a specialization is valid. This lets us automatically detect when specialization circumstances have changed 8, and also automatically generate specialized implementations using partial evaluation.

Descriptors :   *OPERATING SYSTEMS(COMPUTERS), *OBJECT ORIENTED PROGRAMMING, DATA MANAGEMENT, INPUT OUTPUT PROCESSING, SYSTEMS ANALYSIS, COMPUTER FILES, COMPUTER PROGRAM VERIFICATION, COMPILERS, STRUCTURED PROGRAMMING, SPECIALIZATION, AUTOMATIC PROGRAMMING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE