Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012
Published in: PLPV (2012)
Keyphrases
- international workshop
- programming language
- acm sigkdd
- selected papers
- general purpose
- object oriented
- software engineering
- high level
- programming environment
- logic programming
- strongly typed
- database languages
- object oriented programming
- denotational semantics
- object oriented concepts
- international conference
- lambda calculus
- computer programs
- data abstraction
- databases
- database design
- database systems
- programming paradigms
- high level programming language
- cyber security and information intelligence
- naacl hlt