QWeSST公司 swMATH ID: 14207 软件作者： 伊利亚诺·塞维萨托；桑斯，蒂埃里 描述： 用于web编程的类型安全语言的子结构元理论。本文介绍了一种抽象的web编程语言QWeSST，以及一种用于证明并行、分布式和并发的形式化（如QWeSST）属性的方法。QWeSST的核心是一种小型函数式编程语言，它扩展了用于移动代码和远程过程调用的原语，这是web编程的两个显著特征。它支持类型检查和评估的本地化视图，这反映了我们编写web应用程序和web服务的方式。我们已经为QWeSST开发了一个原型实现，并用它优雅地编写了简单的web应用程序，但这些应用程序并不容易用当前的web技术表达。我们给出了QWeSST的两种语义，一种是标准的，为简单形式的单线程计算建模，另一种是最大并行的，基于扩展形式的子结构操作语义，利用其类型和执行行为的表示。它用一种实现参数化多集理解的结构来扩充标准推理规则，从而便于捕获集成级行为。我们证明了这两种语义都是类型安全的，前者使用传统方法，后者通过开发一种与语义的多面向表示并行的证明方法。 主页： http://content.iospress.com/articles/foundamenta-informaticae/fi130-1-04 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用于web编程的类型安全语言的子结构元理论。 Zbl 1286.68033号伊利亚诺·塞维萨托；桑斯，蒂埃里 2014 1位作者引用 1 桑斯，蒂埃里 连载1篇 1 计算机基础理论 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文