Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.
Aseem RastogiMatthew A. HammerMichael HicksPublished in: IEEE Symposium on Security and Privacy (2014)
Keyphrases
- programming language
- multi party
- mixed mode
- privacy preserving
- high level
- general purpose
- object oriented
- strongly typed
- programming environment
- software engineering
- code generation
- object oriented programming
- turn taking
- functional programming
- domain specific
- computer programs
- description language
- mental states
- program code
- functional language
- object oriented concepts
- denotational semantics