Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
本卷构成了第28届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2018），于2018年9月4日至6日在美因河畔法兰克福举行，德国，并与第20届声明式编程原则和实践国际研讨会同地举行（PPDP 2018）和第26届函数和逻辑编程国际研讨会（WFLP 2018）。
2018-09-11 cs.LO
Proceedings of the 21st International Workshop on Termination
第21届终止问题国际研讨会（WST 2026）会议记录，其于7月25日在里斯本举行，隶属于第13届自动推理国际联合会议（IJCAR 2026），而IJCAR 2026又是联合逻辑会议（FLoC 2026）一部分。
2026-07-16 cs.LO
Proceedings of the 4th International Workshop on Strategic Reasoning
本卷包含2016年7月10日在美国纽约市举行的第四届战略推理国际研讨会（SR 2016）的会议记录。研讨会包括2个主题演讲和9个关于逻辑、验证、博弈和均衡的专题演讲。有关战略研讨会系列的更多信息，请访问http://www.strategicreasoning.net/
2016-07-10 cs.LO
Proceedings of the Fourth International Conference on Applied Category Theory
第四届应用范畴理论国际会议于2021年7月12日至16日在剑桥大学计算机实验室举行。这是一个混合的活动，物理与会者在剑桥和其他参与者参加在线。所有的谈话都被录制下来，视频也被张贴在网上，链接可在会议网站上找到（https：//www.cl.cam.ac.uk/events/act2021/）。延续ACT前几次会议的趋势，ACT 2021的贡献范围从纯到应用，代表了各种各样的分类技术和应用主题，包括：图形演算;透镜;微分类别;分类概率论;机器学习;博弈论;控制论;自然语言语义和处理;密码学;和有限模型理论。本会议录卷包含了ACT 2021上作为讲座提出的论文的一半。这一选择反映了作者的选择，即是否在本卷或其他地方发表他们的论文。
2022-10-31 cs.LO
Proceedings 16th International Workshop on Expressiveness in Concurrency
本卷包含第16届并发表达性国际研讨会（EXPRESS'09）的会议记录，该研讨会于2009年9月5日在博洛尼亚举行，与CONCUR'09位于同一地点。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2009-11-17 cs.LO
Proceedings 17th International Workshop on Expressiveness in Concurrency
本卷包含第17届并发表达性国际研讨会（EXPRESS'10）的会议记录，该研讨会于2010年8月30日在巴黎举行，与CONCUR'10位于同一地点。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2010-11-28 cs.LO
Proceedings Applied Category Theory 2019
应用范畴理论是一个新的会议系列。所有的论文都经过仔细的审阅，接受的标准很高。这是第一次以这种形式出现，结果提交了大约70篇论文，150名与会者。这次会议是组成家庭的一部分，一个新的钻石开放获取杂志。
2020-09-14 cs.LO
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
本卷为ACL2-2023研讨会论文集，涵盖ACL2定理证明器及其应用的研究成果，会议于2023年11月13-14日在德克萨斯大学奥斯汀分校线上线下举行。
2023-11-14 cs.LO
Proceedings Seventh International Conference on Computability and Complexity in Analysis
本卷《理论计算机科学电子会议录》（EPTCS）包含将于2010年6月21日至25日在中国镇江举行的第七届国际分析中的可计算性和复杂性会议（CCA 2010）上发表的演讲的扩展摘要。这次会议是共同国家评估年度会议系列的第十七次活动。CCA会议旨在促进实值数据可计算性和复杂性理论及其应用的研究和发展。
2010-06-03 cs.CC cs.LO
Proceedings 14th International Workshop on Verification of Infinite-State Systems
本卷包含Infinity'12的会议记录，第14届无限状态系统验证国际研讨会，于2012年8月27日在法国巴黎举行，作为FM'12的卫星活动。INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2013-02-10 cs.LO
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
这是第十七届理性和知识的理论方面会议的会议记录，2019年7月17日至19日，图卢兹信息研究所（IRIT），图卢兹大学图卢兹，法国。TARK会议的使命是汇集来自各个领域的研究人员，包括人工智能，密码学，分布式计算，经济学和博弈论，语言学，哲学和心理学，以进一步我们对涉及理性和知识推理的跨学科问题的理解。
2019-07-19 cs.GT cs.LO
Proceedings Seventh Conference on Systems Software Verification
本卷包含2012年11月28日至30日在悉尼举行的第七届系统软件验证会议（SSV 2012）上接受的论文。SSV研讨会和会议系列的目的是汇集来自学术界和工业界的研究人员和开发人员，他们面临着真正的软件和真正的问题，目标是找到真正的，适用的解决方案。
2012-11-26 cs.LO cs.SE
Proceedings 13th International Conference on Quantum Physics and Logic
本卷包含第13届量子物理与逻辑国际会议（QPL 2016）的会议记录，该会议于2016年6月6日至10日在斯特拉斯克莱德大学举行。QPL是一个会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构的观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。
2017-01-01 cs.LO quant-ph
Proceedings 18th International Conference on Quantum Physics and Logic
本卷包含第18届量子物理与逻辑国际会议（QPL 2021）的会议记录，该会议于2021年6月7日至11日在格但斯克大学和在线举行。QPL是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构的观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。
2021-09-09 cs.LO quant-ph
Proceedings 14th International Conference on Quantum Physics and Logic
本卷包含第14届量子物理与逻辑国际会议（QPL 2017）的会议记录，该会议于2017年7月3日至7日在荷兰奈梅亨LUX电影院举行，由Radboud大学主办。QPL是一个会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。本次会议还欢迎将量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作。
2018-02-27 cs.LO cs.PL
Proceedings 17th International Conference on Quantum Physics and Logic
本卷包含2020年6月2日至6日举行的第17届量子物理与逻辑国际会议（QPL 2020）的会议记录。量子物理和逻辑是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。将受量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作也是受欢迎的。
2021-09-03 cs.LO quant-ph
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
Carnegie Mellon University（卡内基梅隆大学）
第15届理性与知识的理论方面会议（TARK）于2015年6月4日至6日在美国匹兹堡卡内基梅隆大学举行。TARK会议的使命是汇集来自各个领域的研究人员，包括人工智能，密码学，分布式计算，经济学和博弈论，语言学，哲学和心理学，以进一步我们对涉及理性和知识推理的跨学科问题的理解。这些会议记录包括在TARK会议上提交的论文/摘要的子集。
2016-06-23 cs.AI cs.GT cs.LO
Proceedings 42nd International Conference on Logic Programming
介绍第42届国际逻辑编程会议论文集，涵盖理论基础等多领域主题，包含主轨道和最近发表研究轨道的论文，展示了逻辑编程研究成果。
2026-07-21 cs.LO cs.PL
Introduction to the 26th International Conference on Logic Programming Special Issue
IMDEA Software Institute（IMDEA软件研究所）；U. Politécnica de Madrid (UPM)（马德里理工大学）；University of Potsdam（波茨坦大学）
这是第26届逻辑程序设计国际会议特刊的序言
2010-08-10 cs.AI cs.LO
Proceedings of the Sixth International Conference on Applied Category Theory 2023
本论文集为2023年第六届应用范畴论国际会议（ACT2023）的出版物，介绍了会议的举办信息、往届沿革、活动环节、投稿赛道及本卷收录规则，投稿覆盖多学科的纯理论与应用研究。
2023-12-13 cs.LO cs.PL
Proceedings Eighth International Conference on Applied Category Theory
第八届应用范畴论国际会议汇集了来自不同学科的学者，涵盖纯理论与应用，展示了包括计算机科学、概率论、化学、量子计算等领域的最新研究成果。
2026-03-10 cs.LO math.CT
Proceedings of the 22nd International Conference on Quantum Physics and Logic
本文介绍第22届量子物理与逻辑国际会议（QPL 2025）论文集，该会议聚焦量子计算与量子物理的数学基础，涵盖代数、范畴结构、形式语言及语义方法等研究。
2025-08-19 cs.LO quant-ph
Proceedings of the 21st International Conference on Quantum Physics and Logic
本文为QPL 2024会议论文集，介绍该量子物理与逻辑领域年度会议的举办信息及其在量子计算数学基础、范畴语义和形式方法等方面的关注重点。
2024-08-09 cs.LO quant-ph
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2017年9月8日在英国牛津举行的第四届程序转换和评估重写技术国际研讨会（WPTE 2017）的正式会议记录，并与第二届计算和演绎形式结构国际会议（FSCD 2017）有关。
2018-02-16 cs.LO cs.PL
Proceedings 24th International Workshop on Unification
本卷包含在2010年7月14日在爱丁堡举行的第24届国际统一研讨会上提出的论文，作为FLoC 2010（联邦逻辑会议）的一部分。
2010-12-21 cs.LO cs.PL
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
本卷包含第十五届ACL 2定理证明器及其应用国际研讨会（ACL 2 -2018）的会议记录，该研讨会于2018年11月5日至6日在美国德克萨斯州奥斯汀举行，为期两天，紧接着FMCAD'18。ACL 2 -2018会议录包括11篇长篇论文和2篇扩展摘要。
2018-10-29 cs.LO cs.SC
Proceedings 9th International Workshop on Computing with Terms and Graphs
本卷包含TERMGRAPH 2016的会议记录，第九届国际术语和图形计算研讨会于2016年4月8日在荷兰埃因霍温举行，作为欧洲软件理论与实践联合会议（ETAPS 2016）的卫星活动。
2016-09-10 cs.LO cs.SC
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
本卷是2017年10月10日至12日在比利时那慕尔举行的第27届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，并与第19届声明式编程原理和实践国际研讨会（PPDP 2017）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2017-08-31 cs.LO cs.PL
Proceedings Seventh International Workshop on Verification and Program Transformation
本卷包含第七届验证和程序转换国际研讨会（VPT 2019）上提交的论文的最终和修订版，该研讨会于2019年4月2日在意大利热那亚举行，隶属于Programming 2019。
2019-08-16 cs.LO cs.PL
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
本卷包含第9届Web系统自动化规范和验证国际研讨会（WWV'13）的接受论文，该研讨会于6月6日在意大利佛罗伦萨举行，作为第8届分布式计算技术国际联合会议（DisCoTec 2013）的卫星活动。
2013-07-31 cs.LO cs.SE
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
本卷是第26届函数和逻辑编程国际研讨会（WFLP 2018）的预录。它是由程序委员会选出的在研讨会上发表的论文组成的。经过研讨会的讨论，项目委员会将选择一些论文邀请第二轮评审和选择的正式程序。
2018-10-01 cs.LO cs.PL
Proceedings Tenth International Workshop on Rule-Based Programming
本卷包含规则2009：第十届基于规则的编程国际研讨会的会议记录。它发生在2009年6月28日，巴西利亚，巴西，作为RDP 2009的卫星事件。第一届规则研讨会于2000年在蒙特利尔举行，随后的版本在佛罗伦萨，匹兹堡，瓦伦西亚，亚琛，奈良，西雅图，巴黎和哈根贝格举行。
2010-03-30 cs.LO cs.PL
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
本卷包含了在第17届国际研讨会上提交的关于ACL 2定理证明及其应用（ACL 2 2022）的论文选集。这些讲习班是介绍与ACL2有关的研究和经验的主要技术论坛。
2022-05-23 cs.AI cs.LO
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
本卷是2016年9月6日至8日在英国苏格兰爱丁堡举行的第26届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，与第18届声明式编程原理与实践国际研讨会（PPDP 2016）和第23届静态分析研讨会（SAS 2016）位于同一地点。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2016-09-01 cs.LO cs.PL
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
本卷包含了在第16届ACL 2定理证明及其应用国际研讨会（ACL 2 -2020）上提交的论文选集。这些讲习班是介绍与ACL 2有关的研究和经验的主要技术论坛。
2020-09-26 cs.AI cs.LO
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge
本卷包括在理性和知识的理论方面（TARK）在利物浦大学举行的第十六届会议上提出的论文，英国，从2017年7月24日至26日。TARK会议汇集了来自各个领域的研究人员，包括计算机科学（特别是人工智能，密码学，分布式计算），经济学（特别是决策理论，博弈论，社会选择理论），语言学，哲学（特别是哲学逻辑）和认知心理学，以进一步理解涉及理性和知识推理的问题。
2017-07-25 cs.AI cs.CR cs.GT
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
本卷是第32届基于逻辑的程序合成和转换国际研讨会的非正式会议录（LOPSTR 2022），于2022年9月21日至23日举行，作为混合（混合）会议，（在格鲁吉亚第比利斯的Ivane Javakhishvili Tbilisi State University -TSU）和虚拟，并与第24届声明式编程原理与实践国际研讨会（PPDP 2022）共同举办，作为2022年计算逻辑秋季峰会（CLAS 2022）的一部分。
2022-07-29 cs.LO cs.PL
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
第六届CPS和物联网推理的符号-数值方法国际研讨会（SNR 2020）的会议记录包含研讨会上提出的论文。SNR侧重于结合符号和数值方法来推理信息物理系统和物联网，以促进这些系统的模型识别，规范，验证和控制综合。
2021-01-01 cs.LO cs.SC
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2021的会议记录：第28届并发表达性国际研讨会和第18届结构操作语义研讨会，该研讨会在线举行，作为CONCUR 2021的附属研讨会，第32届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2021-08-22 cs.LO cs.PL
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2020：第27届并发性表达国际研讨会和第17届结构操作语义研讨会的会议记录，该研讨会作为第31届国际并发性研讨会CONCUR 2020的附属研讨会在线举行。并发理论。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2020-08-27 cs.LO cs.PL
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
本卷构成了第31届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2021），于2021年9月7日至8日举行，作为混合（混合）会议，双方都亲自参加（在爱沙尼亚塔林的教师之家）和虚拟，并与第23届声明式编程的原则和实践国际研讨会（PPDP 2021）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2021-08-31 cs.LO cs.PL
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
本卷包含第六届国际游戏、自动机、逻辑和形式化验证研讨会（GandALF 2015）的会议记录。研讨会于2015年9月21日和22日在意大利热那亚举行。专题讨论会的会议记录载有三次应邀演讲的摘要和13篇论文，这些论文是经过仔细评估后被接受在会议上介绍的。被接受的论文的主题包括算法博弈论，自动机理论，形式化验证，模态和时序逻辑。
2015-09-23 cs.FL cs.LO
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2022的会议记录：第29届并发表达性国际研讨会和第19届结构操作语义研讨会，该研讨会在波兰华沙举行，作为第33届并发理论国际会议CONCUR 2022的附属研讨会。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2022-08-31 cs.LO cs.PL
Proceedings 8th International Workshop on Computing with Terms and Graphs
本卷包含第八届国际术语和图形计算研讨会（TERMGRAPH 2014）的后续会议记录。该研讨会于2014年7月13日在维也纳举行，隶属于RTA和TLCA联合会议，该会议是联邦逻辑会议（FLoC）的一部分，而FLoC又参加了2014年维也纳逻辑夏季（VSL）。这些程序中的四个常规文件是其程序前版本的显着扩展版本。他们又接受了一轮审查。Samuel Mimram的论文是一份特邀贡献。
2015-05-26 cs.CC cs.LO
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
本卷包含LFMTP 2018上发表的论文选集，LFMTP 2018是第13届逻辑框架和元语言国际研讨会：理论与实践（LFMTP），于2018年7月7日在英国牛津举行。该研讨会隶属于第七届联邦逻辑会议（FLoC）内的第三届计算和演绎形式结构国际会议（FSCD）。
2018-07-03 cs.LO cs.PL
Proceedings 40th International Conference on Logic Programming
University of Texas at Dallas（德克萨斯大学达拉斯分校）
该论文集收录第40届国际逻辑程序设计会议（ICLP）的技术内容，涵盖逻辑程序设计的语义、语言设计、程序分析及实现方法学等领域，展现该领域的最新研究成果。
2025-02-11 cs.AI cs.LO
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2019的会议记录：2019年8月26日在阿姆斯特丹（荷兰）举行的第26届并发表达性国际研讨会和第16届结构操作语义研讨会，作为CONCUR 2019的附属研讨会，第30届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2019-08-22 cs.LO cs.PL
Proceedings 16th International Conference on Quantum Physics and Logic
本卷包含2019年6月10日至14日举行的第16届量子物理与逻辑国际会议（QPL 2017）的会议记录。量子物理和逻辑是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。将受量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作也是受欢迎的。
2020-04-30 cs.FL cs.IT cs.LO
Proceedings 18th International Workshop on Expressiveness in Concurrency
本卷包含第18届并发表达性国际研讨会（EXPRESS 2011）的会议记录，该研讨会于2011年9月5日在亚琛举行，作为CONCUR 2011的卫星研讨会。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2011-08-20 cs.FL cs.LO
TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge
一年两次的TARK会议汇集了来自各个领域的研究人员，他们对理性和知识的推理有着共同的兴趣。这一传统的影响可以追溯到1986年，在今天的许多研究趋势和超越传统学科界限的知识界的发展中是显而易见的。本卷记录了2013年1月7日至9日在印度钦奈数学科学研究所举行的第14届TARK会议。它包括18个贡献的演讲，8个海报展示，以及3个邀请在会议上发表的演讲。与本系列的前几卷一样，本书也展示了在博弈论、决策论、信念修正、语言分析和计算等领域对知识和理性的研究的最新进展。它应该是有价值的研究人员，教师和学生。
2013-10-23 cs.GT cs.LO
Proceedings 13th International Workshop on Verification of Infinite-State Systems
本卷包含第13届无限状态系统验证国际研讨会（INFINITY 2011）的会议记录。该研讨会于2011年10月10日在台湾台北举行，作为第九届自动化技术验证与分析国际研讨会（ATVA）的卫星活动。INFINITY研讨会旨在为那些对开发用于分析具有无限多个状态的系统的正式方法和算法技术及其在复杂软件和硬件系统自动验证中的应用感兴趣的研究人员提供一个论坛。
2011-11-11 cs.LO cs.SE
Proceedings Second International Workshop on Computational Models for Cell Processes
第二届细胞过程计算模型国际研讨会（ComProc 2009）于2009年11月3日在埃因霍温理工大学举行，与Formal Methods 2009一起举行。该讲习班是与欧共体海洋和海洋分析网项目联合举办的。这一卷载有所有已接受在讲习班上提出的材料的最后文本。
2009-10-22 cs.CE cs.LO
Proceedings 15th International Workshop on Verification of Infinite-State Systems
本卷包含Infinity'13的会议记录，第15届无限状态系统验证国际研讨会，于2013年10月14日在越南河内举行，作为ATVA'13的卫星活动。INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2014-02-23 cs.FL cs.LO
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2016年6月23日在葡萄牙波尔图举行的第三届程序转换和评估重写技术国际研讨会（WPTE 2016）的正式会议记录，作为第一届计算和演绎形式结构国际会议（FSCD 2016）的卫星活动。该研讨会汇集了研究人员的程序转换，评估，和基于操作的程序设计语言语义，使用重写方法，以分享技术和最新发展，并交流思想，鼓励进一步激活在这一领域的研究。
2017-01-01 cs.LO cs.PL
