A Tamper-Resistant Programming Language System.
Dennis HeimbignerPublished in: IEEE Trans. Dependable Secur. Comput. (2011)
Keyphrases
- programming language
- general purpose
- object oriented
- software engineering
- high level
- database languages
- logic programming
- strongly typed
- object oriented programming
- programming environment
- specification language
- denotational semantics
- stored procedures
- database language
- programming tool
- relational databases
- programming paradigms
- concurrent programming
- artificial intelligence
- data model
- program code
- domain specific languages