Ata uhi

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully...

Whakaahuatanga katoa

I tiakina i:
Kaituhi matua: Amal Ahmed
Hōputu: Online
Reo:Ingarihi
I whakaputaina: Springer Nature 2021
Ngā marau:
QA75.5-76.95
distributed computer systems
program verification
software engineering specifications
systems verification
processors
semantics
type
program compilers
artificial intelligence
formal logic
formal model
java
model checking
computer architecture
separation logic
programming language
theorem proving
computer software selection and evaluation
bic Book Industry Communication::U Computing & information technology::UY Computer science
Urunga tuihono:27228
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Whakarāpopototanga:This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Ngā tūemi rite