菜单
关于联系人(&C)
反馈
贡献
帮助
兹马思
swMATH公司
搜索
高级搜索
浏览
搜索
软件名称
软件作者
软件说明
关键词
程序设计语言
理学硕士分类
高级搜索
清除
按名称浏览软件
按关键字浏览软件
通过MSC浏览软件
按类型浏览软件
结果1至20
29
姓名
关联
排序依据:
GHC公司
引用了43篇文章
[sw23765号]
还为GHC提供
同步
原始的。
后者是预期应用所需的。。。
逻辑程序设计
语言
它与其他形式主义有着密切的关系,包括
数据流
语言
,按顺序通信。。。
GRL公司
引用2篇文章
【sw16845】
语言
,称为GRL(GALS代表
语言
)设计用来抽象地模拟GALS系统。。。
形式语义结合
同步
反应性模型
数据流
语言
异步并发模型。。。
可口可乐
在1784篇文章中引用
[sw00161]
Coq是一个正式的证据管理系统。
它。。。
伊莎贝尔
在606篇文章中引用
[sw00454]
伊莎贝尔是一个普通的校对助理。
它允许。。。
地图还原
引用250篇文章
[sw00546]
MapReduce是一种新的并行编程模型。。。
伊莎贝尔/霍尔
参考第945条
[sw01569]
伊莎贝尔是一个普通的校对助理。
它允许。。。
StreamIt公司
引用了20篇文章
[sw01794]
它是一个流编程
语言
还有一份汇编。。。
库达
引用1185篇文章
[sw03258]
NVIDIA®CUDA®工具箱提供全面的开发。。。
哈斯克尔
引用844篇文章
[sw03521]
Haskell是一个标准化的,通用的纯功能。。。
艾菲尔
引用290篇文章
[sw03522]
埃菲尔是一个ISO标准化,面向对象的编程。。。
努西姆
引用了295篇文章
[sw04131]
NuSMV是一个符号模型检查器,它是作为。。。
米本奇
引用51篇文章
[sw04421]
本文考察了一套具有商业代表性的。。。
AspectJ公司
引用130篇文章
[sw04426]
面向方面的Java扩展。
AspectJ TM。。。
雷奥
引用82篇文章
[sw06353]
Reo协调
语言
.
Reo提供了一个范例。。。
GHC公司
在102篇文章中引用
[sw06691]
格拉斯哥-哈斯克尔编译器内联线的秘密。
较高的。。。
托勒密
引用了78篇文章
[sw07459]
托勒密的模块形式语义学。
托勒密是。。。
班德拉
在134篇文章中引用
[sw07663]
使用Bandera工具集进行模型检查。。。
苜蓿
引用3篇文章
[sw09414]
紫花苜蓿:超立方体多处理机上的分布图归约。。。
Globus工具箱
引用175篇文章
[sw09648]
开源Globus®工具包是一个基本的。。。
弗兰特克
参考6篇文章
[sw13065号]
FranTk——一个声明性GUI
语言
为了哈斯凯尔。
弗兰特。。。
第1页,共2页
下一个