稳定对象标识和共享可变状态是编程中两个强大的原则。为可变数据创建多个别名的功能允许对域中自然发生的共享进行直接建模，这是高效编程模式的核心，别名为数据结构中的关键位置提供了快捷方式。然而，别名也是低级别错误的原因，这些错误众所周知很难调试，通过一个别名的更改可能会导致通过另一个别名可见的不可预见的更改。在并发设置中，别名是多线程同时改变共享内存的数据争用的根源，因此这些问题会更加严重。
处理指针、别名和共享可变状态的扩散是一个横切软件开发堆栈的问题，从编译器和运行时到错误发现工具和最终用户软件。它们使模块化推理和程序分析、高效代码生成、内存的高效使用和模糊程序逻辑复杂化。
引入了几种技术来描述和推理有状态程序，以及限制、分析和防止别名。这些包括各种形式的所有权类型、功能、分离逻辑、线性逻辑、唯一性、共享控制、转义分析、参数独立性、只读引用、线性引用、效果系统和访问控制机制。这些工具已经进入了类型系统、编译器和解释器、运行时系统和错误查找工具。
IWACO 2020将关注这些技术，关注如何使用它们来推理有状态（顺序或并发）程序，以及它们如何应用于编程语言。
文件征集
稳定对象标识和共享可变状态是编程中两个强大的原则。为可变数据创建多个别名的功能允许对域中自然发生的共享进行直接建模，这是高效编程模式的核心，别名为数据结构中的关键位置提供了快捷方式。然而，别名也是低级别错误的原因，这些错误众所周知很难调试，通过一个别名的更改可能会导致通过另一个别名可见的不可预见的更改。在并发设置中，别名是多线程同时改变共享内存的数据争用的根源，因此这些问题会更加严重。
处理指针、别名和共享可变状态的扩散是一个贯穿软件开发堆栈的问题，从编译器和运行时到错误查找工具和最终用户软件。它们使模块化推理和程序分析、高效代码生成、内存的高效使用和模糊程序逻辑复杂化。
引入了几种技术来描述和推理有状态程序，以及限制、分析和防止别名。这些包括各种形式的所有权类型、功能、分离逻辑、线性逻辑、唯一性、共享控制、转义分析、参数独立性、只读引用、线性引用、效果系统和访问控制机制。这些工具已经进入了类型系统、编译器和解释器、运行时系统和错误查找工具。
IWACO’20将重点关注这些技术，研究如何使用它们来推理有状态（顺序或并发）程序，以及它们如何应用于编程语言。特别是，我们将考虑以下方面的论文：
- 模型、类型系统和其他形式系统、编程语言机制、分析和设计技术、表示所有权、别名、功能、唯一性和相关主题的模式和符号；
- 基于这些技术设计的编程系统的程序或经验报告的实证研究；
- 处理混叠和/或共享状态，或使用所有权、能力或资源的编程逻辑；
- 能力、所有权和其他类似类型系统在低级系统中的应用，如编程语言运行时、虚拟机或编译器；和
- 优化技术、分析算法、库、应用程序和利用所有权、别名、功能、唯一性和相关主题的新方法。
缴款可以两种格式提交：
提交文件必须使用英语，并且必须使用LIPIcs模板(https://submission.dagstuhl.de/documentation/authors#lipics).
完整的论文将包含在研讨会会议记录中，并保存在ACM数字图书馆中。
重要日期（AoE）：-论文提交：2020年5月1日-通知：2020年05月29日-最终版本：待定-研讨会：待定
