【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the papers presented at CPP 2013, the Third International Conference on Certified Proofs and Programs, held during December 11-13, 2013, in Melbourne. The CPP series of meetings aims to cover those topics in computer science and mathematics in which certification via formal techniques is crucial. This year's edition of CPP was co-located with APLAS 2013 (Asian Symposium on Programming Languages and Systems), similarly to CPP and APLAS 2012 in Japan, and CPP and APLAS 2011 in Taiwan. The next CPP will, however, be colocated with POPL 2015 in India, and the plan is to eventually locate CPP in Europe and North America as well as in Asia. A manifesto for CPP, written by Jean-Pierre Jouannaud and Zhong Shao, appears in the proceedings of CPP 2011 (LNCS 7086).
机译:本卷包含在CPP 2013上发表的论文,CPP 2013是在2013年12月11日至13日在墨尔本举行的第三届国际证明和程序认证会议。 CPP系列会议旨在涵盖计算机科学和数学中的那些主题,这些主题中通过正式技术进行认证至关重要。今年的CPP与APLAS 2013(亚洲编程语言和系统研讨会)位于同一地点,与日本的CPP和APLAS 2012以及台湾的CPP和APLAS 2011相似。但是,下一个CPP将与印度的POPL 2015并置,并且计划最终将CPP定位在欧洲,北美以及亚洲。由Jean-Pierre Jouannaud和Zhong Shao撰写的CPP宣言出现在CPP 2011的会议记录中(LNCS 7086)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号