Compiler Correctness for Concurrent Languages.
David S. GladsteinMitchell WandPublished in: COORDINATION (1996)
Keyphrases
- constraint language
- programming language
- concurrent execution
- general purpose
- expressive power
- language independent
- concurrent programs
- runtime environment
- programs written
- language identification
- databases
- operating system
- software systems
- cross lingual
- distributed memory machines
- transactional memory
- database
- object oriented languages
- multi lingual
- parallel execution
- grammatical inference
- text summarization
- object oriented
- relational databases
- database systems