Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.
Vikraman ChoudhuryJacek KarwowskiAmr SabryPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- programming language
- object oriented
- object oriented programming
- general purpose
- programming environment
- high level
- strongly typed
- software engineering
- logic programming
- object oriented concepts
- programming tool
- data abstraction
- computer programs
- lambda calculus
- concurrent programming
- database languages
- program code
- relational databases
- high level programming language
- constraint logic programming
- specification language
- higher order