Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11825)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: MPC 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
Other volumes
-
Mathematics of Program Construction
Keywords
About this book
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.
The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Editors and Affiliations
Bibliographic Information
Book Title: Mathematics of Program Construction
Book Subtitle: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Editors: Graham Hutton
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-33636-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-33635-6Published: 20 October 2019
eBook ISBN: 978-3-030-33636-3Published: 19 October 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 467
Number of Illustrations: 1615 b/w illustrations, 37 illustrations in colour
Topics: Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, System Performance and Evaluation, Natural Language Processing (NLP), Math Applications in Computer Science