保存此搜索
第条 1998年1月 分布式移动进程的类型化语言(扩展抽象) 我们描述了一种用于指定分布式进程的动态演化网络的基础语言Dπ。 该语言是π演算的分布式扩展,融合了远程执行、迁移和站点故障的概念。。。 第条 1998年1月 SLam演算 :具有保密性和完整性的编程 SLam演算是一种类型λ演算,它维护安全信息和类型信息。 类型系统以四种形式传播每个对象的安全信息:对象的创建者和读者,以及对象的间接创建者。。。 第条 1998年1月 障碍推理 许多并行程序是以SPMD风格编写的,即在所有进程上运行相同的顺序程序。 SPMD程序包含同步,但很容易编写错误的同步模式。 我们提出了一个验证程序“。。。 第条 1998年1月 动态类型作为阶段类型推理 动态类型使用通用数据类型扩展了静态类型语言,简化了必须将其他程序作为数据操作的程序,如分布式、持久性、解释性和通用程序。 然而,目前的方法限制了。。。 第条 1998年1月 动态消息的静态类型 动态消息是动态绑定到程序变量的一级消息。 通过动态消息,要调用的方法可以在运行时动态变化,这为面向对象语言提供了强大的抽象机制。。。 -
第条 1998年1月 多态性和条件严格性属性的推断 我们通过扩展具有多态性和条件属性的连接严格性逻辑,定义了一个用于函数程序模块严格性分析的推理系统。 这个扩展的属性集用于定义语法定向的。。。 第条 1998年1月 类和混合 虽然基于类的面向对象编程语言为重新使用和管理相关代码段提供了一种灵活的机制,但它们通常缺乏用一组字段指定多个类的统一扩展的语言工具。。。 第条 1998年1月 Java字节码子程序的类型系统 Java通常被编译成中间语言JVML,由Java虚拟机进行解释。 由于移动JVML代码并不总是可信的,字节码验证器强制执行静态约束,以防止各种动态错误。 鉴于。。。 第条 1998年1月 从系统F到类型化汇编语言 我们推动了静态类型汇编语言(TAL)的设计,并提出了从系统F到TAL的类型保留翻译。 我们提出的TAL基于传统的RISC汇编语言,但其静态类型系统为。。。 第条 1998年1月 逃生分析 :正确性证明、实现和实验结果 我们描述了一个逃逸分析[32,14],用于确定数据的生存期是否超过其静态范围。 我们直接从语义出发给出了一个新的正确性证明。 与以前的证明相反,它考虑了……的所有特征。。。