Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010
Published in: PLPV (2010)
Keyphrases
- programming language
- acm sigkdd
- naacl hlt
- international workshop
- international conference
- cyber security and information intelligence
- knowledge discovery and data mining
- acm conference
- general purpose
- object oriented
- software engineering
- international symposium
- programming environment
- strongly typed
- functional programming
- student research workshop
- selected papers
- object oriented programming
- denotational semantics
- lambda calculus
- logic programming
- high level
- specification language
- machine learning
- invited speakers
- programming language constructs
- object oriented concepts
- data abstraction
- lecture notes
- programming paradigms
- high level programming language
- java language
- abstract data types
- acm special interest group