Dynamic resource management in a language for real time programming

Reliability and efficiency of programs are main goals of each high level language for concurrent programming and more specifically for real time programming. Keeping these goals in mind, and extension of the Concurrent Pascal language is proposed. A mechanism is introduced through which processes can get capabilities to accede reusable system resources. Capabilities can be assigned either statically or dynamically. The proposed mechanism allows compile time checking of access control, and can be incorporated in any object oriented language.