Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).
Camil DemetrescuSebastian ErdwegMatthew A. HammerShriram KrishnamurthiPublished in: Dagstuhl Reports (2016)
Keyphrases
- programming language
- general purpose
- object oriented
- software engineering
- high level
- database languages
- strongly typed
- computer programs
- object oriented programming
- logic programming
- programming environment
- specification language
- concurrent programming
- denotational semantics
- database language
- functional programming
- program code
- operating system
- artificial intelligence
- source code
- functional language
- database systems
- programming paradigms