Veracity: Declarative Multicore Programming with Commutativity.
Adam ChenParisa FathololumiEric KoskinenJared PincusPublished in: CoRR (2022)
Keyphrases
- programming language
- object oriented design
- multicore processors
- programming environment
- database
- development environment
- computer programs
- declarative programming
- computer programming
- computing power
- object oriented programming
- computer systems
- shared memory
- general purpose
- knowledge representation
- case study
- databases