Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021.
Published in: CS&P (2021)
Keyphrases
- computer science
- lecture notes
- introductory programming
- reactive systems
- programming language
- concurrent programming
- programming environment
- introductory computer science
- high level
- database systems
- international conference
- concurrency control
- pair programming
- artificial intelligence
- dynamic allocation
- code generation
- computer programming
- formal verification
- specification language
- neural network
- united kingdom
- formal methods
- conceptual model
- software systems
- introductory programming courses