An operational semantics of multitasking and exception handling in Ada.
Wei LiPublished in: AdaTEC Conference on Ada (1982)
Keyphrases
- operational semantics
- exception handling
- object oriented
- domain independent
- formal semantics
- object oriented programming
- conflict resolution
- workflow management
- data model
- mental states
- agent systems
- workflow management systems
- agent programming
- domain specific
- cooperative
- information technology
- reinforcement learning
- case study
- e learning