Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14
Published in: PLPV (2014)
Keyphrases
- programming language
- san diego
- stanford university
- san jose
- cornell university
- san diego supercomputer center
- invited talk
- object oriented
- project highlights
- general purpose
- software engineering
- high level
- programming environment
- logic programming
- object oriented programming
- database languages
- selected papers
- specification language
- data abstraction
- strongly typed
- denotational semantics
- functional language
- object oriented concepts
- abstract data types
- databases
- digital government
- lambda calculus
- international conference
- query processing
- relational databases
- artificial intelligence