title
31st Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
keywords
programming theory
semantics of programming languages
programming language design
programming logics
formal specification of programs
program verification
program construction
program transformation and refinement
real-time and hybrid systems
models of concurrent, distributed and mobile computing
language-based security
programming methodology
programmeerimine
konverentsikogumikud
publishing year
2019
editor
Uustalu, Tarmo
Vain, Jüri
identifier
https://doi.org/10.23658/taltech.nwpt/2019
https://digikogu.taltech.ee/et/Item/45714497-266d-441c-8b89-aaa1a22d5022
ISBN 9789949835201 (pdf)
language
eng
rights
http://rightsstatements.org/vocab/InC/1.0/
institution
Tallinn University of Technology
department / college
Department of Software Science