Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Author: Robert Harper

Publisher: Cambridge University Press

ISBN: 9781107150300

Category: Computers

Page: 513

View: 392

Download Now
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Foundations of Probabilistic Programming
Language: en
Pages: 583
Authors: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Categories: Computers
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.
Programming Languages
Language: en
Pages: 799
Authors: Norman Ramsey
Categories: Computers
Type: BOOK - Published: 2022-10-27 - Publisher: Cambridge University Press

Teaches students about great programming-language ideas and how to use them in programming practice.
Foundations of Software Science and Computation Structures
Language: en
Pages: 644
Authors: Jean Goubault-Larrecq, Barbara K├Ânig
Categories: Mathematics
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The
Formal Methods: Foundations and Applications
Language: en
Pages: 271
Authors: Tiago Massoni, Mohammad Reza Mousavi
Categories: Computers
Type: BOOK - Published: 2018-11-19 - Publisher: Springer

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: