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