Insecure Programming: How Culpable is a Language's Syntax?
Ramkumar ChinchaniAnusha IyerBharat JayaramanShambhu J. UpadhyayaPublished in: IAW (2003)
Keyphrases
- programming language
- object oriented programming
- natural language
- programming environment
- oriented programming
- definition language
- operational semantics
- precisely defined
- program code
- high level
- scripting language
- error handling
- general purpose
- database language
- domain specific languages
- java programming
- type checking
- language constructs
- software engineering
- predicate calculus
- specification language
- language learning
- formal languages
- secret key
- object oriented
- model checking
- computer programs