An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages.
Germán VidalPublished in: SAC (2024)
Keyphrases
- programming language
- message passing
- belief propagation
- general purpose
- concurrent programming
- object oriented
- distributed systems
- high level
- denotational semantics
- software engineering
- programming environment
- strongly typed
- markov random field
- shared memory
- factor graphs
- inference in graphical models
- specification language
- sum product algorithm
- approximate inference
- logic programming
- database languages
- lambda calculus
- graphical models
- distributed shared memory
- database
- sum product
- programming language constructs
- logic programs
- object oriented concepts
- data structure
- image processing
- computer vision