1、编译器构建与LISA系统：编程领域的新探索-优快云博客

本文链接：https://blog.youkuaiyun.com/r7s8t/article/details/149358856

编译器构建与LISA系统：编程领域的新探索

1. ETAPS 2002会议概述

ETAPS 2002是欧洲软件理论与实践联合会议的第五届会议。该会议于1998年成立，是一个年度联合会议，由多个现有和新的会议合并而成。2002年的ETAPS包含了5个会议（FOSSACS、FASE、ESOP、CC、TACAS）、13个卫星研讨会（ACL2、AGT、CMCS等）、8个特邀讲座（不包括卫星活动特定的讲座）以及多个教程。

ETAPS会议涉及系统开发过程的各个方面，包括规范、设计、实现、分析和改进。其涵盖的语言、方法和工具丰富多样，既注重有实际应用动机的理论研究，也强调基于可靠理论的实践应用。而且，软件设计中的许多问题也适用于一般系统，包括硬件系统。

ETAPS是一个松散的联盟，每个活动都有自己的身份，拥有独立的程序委员会和会议记录。会议采用开放式的形式，便于随着时间的推移不断发展。投稿演讲和系统演示在同步并行会议中进行，特邀讲座则在全体会议中开展。其中有两个特邀讲座是关于对所有ETAPS参会者都感兴趣的“统一”主题。将这些活动集中在一周内举行，旨在吸引从事相关领域研究的学术和工业界研究人员，让他们有机会了解相关领域的研究动态，促进不同领域之间的交流与合作。

ETAPS 2002由Laboratoire Verimag联合多个机构共同组织，包括法国国家科学研究中心（CNRS）、格勒诺布尔应用数学研究所（IMAG）等。组织团队成员分工明确，如Susanne Graf担任大会主席，Saddek Bensalem负责教程等。会议的总体规划由指导委员会负责，其成员来自不同国家和机构。