Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.
Published in: QAPL@ETAPS (2017)
Keyphrases
- programming language
- international workshop
- object oriented
- programming environment
- acm sigkdd
- general purpose
- software engineering
- logic programming
- data abstraction
- lambda calculus
- strongly typed
- international conference
- programming paradigms
- specification language
- machine learning
- open source
- artificial intelligence
- selected papers
- high level