Spar
Functional and Logic Programming
They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
- Undertittel
- 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
- Redaktør
- Keisuke Nakano, Konstantinos Sagonas
- Opplag
- 1st ed. 2020
- ISBN
- 9783030590246
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.9.2020
- Antall sider
- 221
