• 班德拉

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

  • 引用48篇文章[sw01801]
  • 康哥洛,a同时发生的 编程基于情境演算的语言作为计划的替代。。。基于同时发生的 程序考虑执行。一个正式的定义。。。这种情况下的微积分编程文中给出并举例说明。。。包括优先执行同时发生的进程,在某些情况下中断执行。。。
  • 小脚

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

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

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

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

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

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

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

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

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

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

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

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

  • 参考文献115篇[sw07202]
  • 二郎是一个编程用来建立大规模可扩展的软实时系统的语言。。。运行时系统对并发,分布和容错。。。
  • 兽人

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

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

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

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

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