【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the papers presented at the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Dublin, Ireland, during April 27-30, 2020. The conference series is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. This volume contains 31 contributed papers selected from 98 full paper submissions, and also a paper accompanying an invited talk by Scott Smolka (Stony Brook University, USA). Each submission was reviewed by at least three Program Committee members, with the help of external reviewers, and the final decisions took into account the feedback from a rebuttal phase. The conference submissions were managed using the EasyChair conference system, which was also used to assist with the compilation of these proceedings.
机译:本卷包含于2020年4月27日至30日在爱尔兰都柏林举行的第23届软件科学与计算结构基础国际会议(FoSSaCS)上发表的论文。对软件科学的意义。它汇集了有关理论和方法的研究,以支持对程序和软件系统的分析,集成,综合,转换和验证。该卷包含从98篇完整论文中选出的31篇贡献论文,以及随斯科特·斯莫尔卡(Scott Smolka)(美国石溪大学)的邀请演讲而发表的论文。在外部评审人员的帮助下,至少由三名计划委员会成员对每份意见书进行了审查,最终决定考虑了反驳阶段的反馈意见。使用EasyChair会议系统管理会议提交的内容,该系统还用于协助汇编这些会议记录。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号