Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Programming Languages and Systems by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662544341
Publisher: Springer Berlin Heidelberg Publication: April 10, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783662544341
Publisher: Springer Berlin Heidelberg
Publication: April 10, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. 

More books from Springer Berlin Heidelberg

Cover of the book Frontiers in European Radiology by
Cover of the book Kompaktwissen Gefäßchirurgie by
Cover of the book Grundlagen der Mikrobiologie by
Cover of the book Malassezia and the Skin by
Cover of the book Lineare Algebra 2 by
Cover of the book China and International Human Rights by
Cover of the book Persönlichkeitspsychologie: Paradigmen – Strömungen – Theorien by
Cover of the book Bismuth-Mediated Organic Reactions by
Cover of the book Understanding Different Geographies by
Cover of the book Management of Severe Traumatic Brain Injury by
Cover of the book Geiz, Trägheit, Neid & Co. in Therapie und Seelsorge by
Cover of the book Takagi-Sugeno Fuzzy Systems Non-fragile H-infinity Filtering by
Cover of the book Semantic Technologies for E-Government by
Cover of the book Endlich gelöst! Aufgaben zur Mathematik für Ingenieure und Naturwissenschaftler by
Cover of the book Microsurgical Models in Rats for Transplantation Research by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy