دانلود کتاب چهاردهمین کنفرانس بین المللی ریاضیات برنامه ساخت، MPC 2022

Welcome to the proceedings of the 14th International Conference on Mathematics of Program Construction—MPC 2022! The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a ‘program’ is interpreted broadly, ranging from algorithms to hardware. MPC 2022 welcomes theoretical contributions with relevance to the methods of program construction, reports on applications with solid mathematical basis, and programming pearls that present elegant and instructive examples of the mathematics of program construction. The MPC series is a bi-annual conference; previous editions took place in Porto, Portugal (2019); Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); and Twente, The Netherlands (1989). The 14th installment of the conference was colocated with the Computational Logic Autumn Summit of 2022 (CLAS 2022), held during September 19–30, 2022, in Tbilisi, Georgia. MPC 2022 featured invited talks, presentations of original research papers, and a discussion panel.