Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language.
Shunya OguchiShoji YuenPublished in: RC (2024)
Keyphrases
- programming language
- flow analysis
- concurrent programming
- object oriented
- general purpose
- software engineering
- strongly typed
- high level
- computer programs
- programming environment
- database language
- specification language
- database languages
- denotational semantics
- object oriented programming
- programming tool
- social networks
- database