![]() |
![]() |
Your cart is empty |
||
Showing 1 - 3 of 3 matches in All Departments
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.
This book constitutes the referred proceedings of the First
International Conference on Certified Programs and Proofs, CPP
2011, held in Kenting, Taiwan, in December 2011.
This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with 3 invited
talks were carefully reviewed and selected from 84 submissions. The
symposium addresses all issues in programming languages and systems
- ranging from foundational to practical issues. The papers focus
on topics such as semantics, logics, foundational theory, type
systems, language design, program analysis, optimization,
transformation, software security, safety, verification, compiler
systems, interpreters, abstract machines, domain-specific languages
and systems, as well as programming tools and environments.
|
![]() ![]() You may like...
The South African Guide To Gluten-Free…
Zorah Booley Samaai
Paperback
|