Concurrency specification in high level languages.
Anthony G. SumpterGerry E. QuickPublished in: ACM SIGPLAN Notices (1980)
Keyphrases
- high level
- low level
- object oriented languages
- language independent
- higher level
- expressive power
- specification languages
- databases
- programming language
- database systems
- language identification
- formal specification
- knowledge representation
- source code
- text summarization
- formal languages
- knowledge level
- computer programs
- lower level
- low level features
- data flow
- grammatical inference
- formal language
- cross lingual
- semantic information
- dynamic allocation
- software systems