Mathematics of Program Construction

14th International Conference, MPC 2022, Tbilisi, Georgia, September 26¿28, 2022, Proceedings
Herausgegeben:Komendantskaya, Ekaterina

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 13544
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-16911-3
• 1st ed. 2022
• Seitenzahl: 288
• Erscheinungstermin: 22. September 2022
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 441g
• ISBN-13: 9783031169113
• ISBN-10: 3031169115
• Artikelnr.: 65001126

Inhaltsangabe

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