Mathematics of program construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings / Ekaterina Komendantskaya (eds.).
MPC 2022 (14th : 2022 : Tbilisi, Georgia).; Komendantskaya, Ekaterina, editor.
2022
QA76.6
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Mathematics of program construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings / Ekaterina Komendantskaya (eds.).
Meeting Name MPC 2022 (14th : 2022 : Tbilisi, Georgia).
ISBN 9783031169120 (electronic bk.)
3031169123 (electronic bk.)
9783031169113
3031169115
DOI https://doi.org/10.1007/978-3-031-16912-0
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource (xv, 269 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-16912-0 doi
Call Number QA76.6
Dewey Decimal Classification 005.1
Summary This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 4, 2022).
Added Author Komendantskaya, Ekaterina, editor.
Series Lecture notes in computer science ; 13544. 1611-3349
Available in Other Form Mathematics of program construction.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Breadth-First Traversal Via Staging
Subtyping without Reduction
Calculating datastructures
Flexibly Graded Monads and Graded Algebras
Folding over Neural Networks
Towards a Practical Library for Monadic Equational Reasoning in Coq
Semantic preservation for a type directed translation scheme of Featherweight Go
Streams of Approximations, Equivalence of Recursive Effectful Programs
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes.

Browse Subjects

Show more subjects...

Statistics

from
to
Export