Calculating Compilers for Concurrency.
Patrick BahrGraham HuttonPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- programming language
- computer architecture
- hardware and software
- general purpose
- high level programming languages
- database systems
- software systems
- computer systems
- transaction processing
- similarity measure
- low cost
- concurrency control
- data flow
- information systems
- information retrieval
- nested transactions
- neural network
- concurrent programming
- real world