Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workabl...
详细信息
ISBN:
(纸本)0897912438
Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workable models for reclaiming all unneeded objects. III reality, Ada provides features that allow programmers to define storage recla mation models that operate at close to 100 percent capacity. This paper describes methods by which Ada programs can reclaim objects. Examples of Ada storage reclamation models are presented along with their associated algorithms. A taxonomy of units that perform storage reclamation is also discussed.
Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workabl...
ISBN:
(纸本)9780897912433
Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workable models for reclaiming all unneeded objects. In reality, Ada provides features that allow programmers to define storage reclamation models that operate at close to 100 percent capacity. This paper describes methods by which Ada programs can reclaim objects. Examples of Ada storage reclamation models are presented along with their associated algorithms. A taxonomy of units that perform storage reclamation is also discussed.
TSL is a language for specifying sequences of tasking events in Ada1 programs. TSL specifications are submitted with an Ada program and are monitored at runtime for consistency with the actual tasking events as they o...
详细信息
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal - m...
详细信息
Anna is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with for...
详细信息
ANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with for...
详细信息
This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull group of the Nava...
This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull group of the Naval Sea systems Command (NAVSEA 32). is the vehicle for the discussion. This paper is directed toward practicing ship design professionals and the managers of the ship design process. Primary emphasis of this paper, and of the development effort currently under way, is on aiding ship design professionals in their work. Focus is on integration and management control of the extremely complex set of processes which make up naval ship design. The terminology of the Ship Designer and Design Manager is used. The reader needs no familiarity with the technologies of computer science.
暂无评论