Not yet implemented Features used in concurrency control

(however they may be implemented if really needed, at the cost of development time)

• Generic package
• Block declare
• Statements : exit, delay
• Declarations : character, access types
• Expressions : Succ, Pred, First, Last, Length attributes
• Object, tagged types, classes inheritance

last update : 20/10/2005