Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013
Published in: PLPV (2013)
Keyphrases
- programming language
- acm sigkdd
- naacl hlt
- international workshop
- international conference
- cyber security and information intelligence
- general purpose
- knowledge discovery and data mining
- object oriented
- international symposium
- lambda calculus
- strongly typed
- high level
- denotational semantics
- selected papers
- software engineering
- logic programming
- computer programs
- database languages
- object oriented programming
- programming environment
- data abstraction
- student research workshop
- high level programming language
- object oriented concepts
- database
- concurrent programming
- programming language constructs
- programming paradigms
- database design
- database applications
- relational databases
- search algorithm
- databases