Quantifiability: Correctness of Concurrent Programs in Vector Space.
Victor CookChristina L. PetersonZachary PainterDamian DechevPublished in: PDP (2021)
Keyphrases
- vector space
- concurrent programs
- concurrent programming
- process algebra
- retrieval model
- latent semantic indexing
- similarity search
- euclidean space
- distance measure
- vector space model
- feature vectors
- model checking
- web applications
- concurrent processes
- general purpose
- databases
- concurrent systems
- information retrieval
- database