ASE2 CARD CATALOG ENTRY
Ada System Certifier_1 1.0 Date/Time of Processing: Wednesday 25 May 1994 04:36:16Pm Overall Assessment of System: OK Classification of System: A Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries PASS Independence from a Specific Ada Compiler PASS Number of ... Files 1 Library Units 18 Lines 714 Statements 286 Comments 145 Subunits and Parent Units -- 1 parent program units 0 missing parent units 3 subunits 0 subunits found but not specified 0 subunits specified but not found
This is a description and solution to the Dining Philosophers problem.
A major design goal is machine/compiler independence.
DATE VERSION AUTHOR HISTORY Feb 1991 1.0 Michael Feldman Initial Release
This prologue must be included in all copies of this software. This software is released to the Public Domain.
This software and its documentation are provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to test the software thoroughly before relying on it. The user must assume the entire risk and liability of using this software. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.
Powered by the Generic Web-Based Reuse Library (GWRL)