menu 简单麦麦
account_circle

课程建设数学:第13届国际会议,MPC 2019,葡萄牙波尔图,2019年10月7-9日,会议记录-Mathematics of Program Construction: 13th Internat

帮助2578人找到了他们想要的文件
上传于 2020-03-06 28次下载 2246次围观
文件编号:11659
文件详情
标题(title):Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
课程建设数学:第13届国际会议,MPC 2019,葡萄牙波尔图,2019年10月7-9日,会议记录
作者(author):Graham Hutton
出版社(publisher):Springer International Publishing
大小(size):11 MB (11688910 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀



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.




Table of contents :
Front Matter ....Pages i-viii
Experiments in Information Flow Analysis (Annabelle McIver)....Pages 1-17
Handling Local State with Global State (Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu)....Pages 18-44
Certification of Breadth-First Algorithms by Extraction (Dominique Larchey-Wendling, Ralph Matthes)....Pages 45-75
Verified Self-Explaining Computation (Jan Stolarek, James Cheney)....Pages 76-102
Self-certifying Railroad Diagrams (Ralf Hinze)....Pages 103-137
How to Calculate with Nondeterministic Functions (Richard Bird, Florian Rabe)....Pages 138-154
Setoid Type Theory—A Syntactic Translation (Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau)....Pages 155-196
Cylindric Kleene Lattices for Program Construction (Brijesh Dongol, Ian Hayes, Larissa Meinicke, Georg Struth)....Pages 197-225
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning (Reynald Affeldt, David Nowak, Takafumi Saikawa)....Pages 226-254
System F in Agda, for Fun and Profit (James Chapman, Roman Kireev, Chad Nester, Philip Wadler)....Pages 255-297
An Analysis of Repeated Graph Search (Roland Backhouse)....Pages 298-328
Shallow Embedding of Type Theory is Morally Correct (Ambrus Kaposi, András Kovács, Nicolai Kraus)....Pages 329-365
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad (Robin Kaarsgaard, Niccolò Veltri)....Pages 366-384
Completeness and Incompleteness of Synchronous Kleene Algebra (Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva)....Pages 385-413
Unraveling Recursion: Compiling an IR with Recursion to System F (Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler)....Pages 414-443
Coding with Asymmetric Numeral Systems (Jeremy Gibbons)....Pages 444-465
Back Matter ....Pages 467-467
下载方式
购买后可查看 购买按钮在底部

常见问题

  • question_answer
    解压密码,提取码在哪?
    keyboard_arrow_down
    • 均在下载旁边哦,请注意查看,如果没有则是不需要密码
  • question_answer
    文件不符合描述怎么办?
    keyboard_arrow_down
    • 如果有文件问题,可以通过 卖家联系方式 联系卖家,如果 联系不上卖家 或 卖家无法解决则可以在我的订单页面申请售后
  • question_answer
    其他
    keyboard_arrow_down
    • 3.本文件为公益分享,文件由网上采集而来,如有侵权等问题,请及时联系客服删除
      常见问题及官方客服联系方式:点击前往
      售后问题处理方式:点击前往
-到底部了哦-
微信扫码支付
课程建设数学:第13届国际会议,MPC 2019,葡萄牙波尔图,2019年10月7-9日,会议记录-Mathematics of Program Construction: 13th Internat
支付金额: 共计:¥0.0

添加收藏

创建新合集