第七届交集类型与相关系统研讨会会议录
计算机科学中的逻辑
2015-03-17 v1 编程语言
软件工程
摘要
本卷收录了在奥地利维也纳于7月18日举行的第七届交集类型与相关系统研讨会（ITRS 2014）的最终修订论文选集，该研讨会附属于TLCA 2014（类型化Lambda演算与应用，与RTA重写技术与应用联合举行），作为FLoC和维也纳逻辑之夏（VSL）2014的一部分。交集类型于20世纪70年代末被引入，作为一种描述lambda演算性质的语言，这些性质未被以往所有类型系统所捕获。它们提供了强规范化lambda项的首次刻画，并已成为分析各种规范化性质以及lambda模型的强大语法和语义工具。多年来，关于交集类型的研究范围已拓宽。最近，在将交集类型和类似技术用于程序分析、验证与并发、以及程序综合等实际目的方面取得了若干突破。ITRS研讨会系列的目标是将从事基于交集类型及相关方法（例如，并集类型、精化类型、行为类型）的系统理论与实际应用的研究人员聚集在一起。
引用
@article{arxiv.1503.04377,
title = {Proceedings Seventh Workshop on Intersection Types and Related Systems},
author = {Jakob Rehof},
journal= {arXiv preprint arXiv:1503.04377},
year = {2015}
}