• 班德拉

  • 在134篇文章中引用[sw07663]
  • 同时发生的Java软件。Bandera工具集是程序分析、转换…解释组件用于定制程序对正在检查的属性建模。当…教程论文,我们用一个简单的同时发生的爪哇程序为了说明功能。。。
  • 康哥洛

  • 引用49篇文章[sw01801]
  • 康哥洛,a同时发生的 编程基于情境演算的语言作为规划的替代…高级代理控制基于同时发生的 程序考虑执行。一个正式的定义…这种情况的演算编程语言是介绍和举例说明的一些例子…包括工具的执行的优先级同时发生的进程,在某些情况下中断执行。。。
  • 小脚

  • 引用了53篇文章[sw09787]
  • 程序推理的逻辑程序操作指针数据结构的。我们描述小脚…指针;模块化推理同时发生的 程序...
  • VCC公司

  • 引用73篇文章[sw07220]
  • 机械验证器同时发生的C程序.VCC拿C程序,用函数规范注释。。。
  • Ada95型

  • 在294篇文章中引用[sw01753]
  • 频谱和面向对象的高级计算机编程语言,从Pascal和其他语言扩展而来…内置语言支持显式并发,提供任务、同步消息传递、受保护对象…取代了数百个编程国防部使用的语言。艾达是以。。。
  • 乔坎姆

  • 27条引用[sw02065]
  • 乔坎姆语:一种同时发生的分布式和移动编程。在这些课堂讲稿中,我们提供…概述同时发生的、分布式和移动编程使用JoCaml。JoCaml是一个扩展…支持并发和同步,分布式执行程序,以及动态重新定位…说明如何使用JoCaml程序 同时发生的以及更高层次的分布式应用程序。。。
  • 皮克特

  • 引用73篇文章[sw08929]
  • 手册、语言教程、大量的库和示例程序.核心语言-异步变体…广泛的同时发生的计算。Pict中的目标…这些原语用于构建工作程序-习语,如基本数据结构、协议…返回结果、高阶编程,选择性沟通,以及同时发生的物体。类型系统集成。。。
  • 盎司

  • 参考117篇文章[sw06799]
  • 高层编程结合约束推理和并发。Oz的典型应用领域包括…特性约束和强大的原语编程高级的约束推理引擎。。。
  • 歧管

  • 引用了30篇文章[sw02900]
  • 管理相互作用的语言同时发生的 程序基本上,协调是通过操纵。。。
  • dSPIN

  • 引用31篇文章[sw09888号]
  • 验证的有效手段同时发生的 程序以高水平(er)书写编程语言。。。
  • CC Pi

  • 引用了30篇文章[sw15033]
  • 编程范例:名字传递结石和同时发生的约束编程(抄送编程). 具体来说,我们扩展。。。
  • JPAX公司

  • 引用了30篇文章[sw09906]
  • JPAX还可以分析程序对于并发错误,如死锁和数据。。。并发分析不需要用户提供规范。该工具有助于自动检测程序...
  • 轻率的

  • 参考22篇文章[sw08679]
  • 便利的:对称的同时发生的和功能性编程.Facile是一个对称的集成。。。同时发生的和功能性编程。该语言支持函数抽象和过程抽象。功能…关于Facile操作行为的推理程序。然后我们提供一个抽象模型…机器(C-FAM)。C-FAM执行同时发生的计算函数表达式的过程。实现语义。。。
  • M网络

  • 参考11篇文章[sw09132]
  • 语义的应用同时发生的 编程语言。本文描述了一个高级的Petri…vehicle来提供同时发生的 编程语言。来说明他们的能力…简单,表达同时发生的 编程语言-是给定的。描述了一个相关的低级网络语义。。。
  • 二郎

  • 引用116篇文章[sw07202]
  • 二郎是一个编程用于构建大规模可伸缩软实时系统的语言,运行时系统内置了对并发,分布和容错。。。
  • 兽人

  • 引用15篇文章[sw07311]
  • 编程语言,但它可以有效地处理许多非功能方面,包括同时发生的线程…原始并发过程微积分的组合子。接下来我们描述一个小函数编程语言……计算;我们展示了几个同时发生的 编程问题很容易解决。。。
  • 马戏团

  • 引用90篇文章[sw21828]
  • 马戏团的语义学。马戏团是同时发生的语言精练;这是一个统一…霍尔&他统一了编程...
  • VeriCool公司

  • 在10篇文章中引用[sw09749]
  • 验证程序同时发生的面向对象语言。面向对象推理程序很难…抽象化和框架化。推理同时发生的面向对象的程序更难,因为一般来说…自动验证同时发生的类似Java的程序。该方法的基石是编程…用它来验证同时发生的 程序...
  • 莫扎特

  • 引用了20篇文章[sw04759]
  • 声明的编程,面向对象编程,约束编程,和并发作为一个连贯的整体的一部分…容错。莫扎特支持多核编程它的网络透明分布。。。
  • 辛巴

  • 参考7篇文章[sw00863]
  • simpA:一种面向agent的方法编程 同时发生的Java之上的应用程序更多…更多方面并发同时发生的 编程正在成为主流的一部分编程以及软件…支持的细粒度机制和习惯用法同时发生的 编程,尤其是高效建筑程序。此外…有助于构建同时发生的 程序,因为纯面向对象抽象有助于构建。。。