Semantic Tools for Realistic Programming Languages

该项目解决的问题是为结合了许多复杂特性（包括内存、面向对象、丰富的类型概念、异常和并发性）的编程语言提供完整的形式化语义。对语义采用操作方法，因为它是唯一具有立即适用于这种丰富语言的潜力的方法。由此产生的操作理论还包括丰富的程序等价理论，以帮助编译器编写者和语言转换者。本研究的重点是：(1)将领域理论中的概念，如有限性和- -代数，提升到全功能语言中；(2)给出全功能语言的语义类型描述，特别是面向对象语言的困难情况；(3)将全功能语言作为一个整体来研究，以发现相互作用和冲突，而不是在单独的研究中解决每个特征。

This project addresses the problem of giving full and formal semantics to programming languages that combine a number of complex features, including memories, object-orientedness, rich notions of type, exceptions, and concurrency. An operational approach is taken to semantics since it is the only method with immediate potential for applicability to such rich languages. The resulting operational theory also includes a rich theory of equivalence on programs to aid compiler writers and language transformers. This research focuses on: (1) lifting concepts from domain theory, such as finiteness and omega-algebraicity, into full-featured languages, (2) giving semantic type descriptions of full-featured languages, in particular the difficult case of object-oriented languages, and (3) studying full-featured languages as one piece to discover interactions and conflicts, rather than addressing each feature in a separate study.