×

灵活

swMATH ID: 8679
软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S
描述： Facile：并发编程和函数编程的对称集成。Facile是并发编程和函数编程的对称集成。该语言支持函数和过程抽象。函数可以在进程中定义和使用，进程可以在表达式求值期间动态创建。在这项工作中，我们对Facile的操作语义提出了两种不同的描述。首先，我们使用标记的转换系统为Facile的一小部分核心子集开发了一个结构操作语义。这样的语义对于推理Facile程序的操作行为很有用。然后，我们为Facile提供了一个抽象的实现模型：并发功能抽象机（C-FAM）。C-FAM执行评估函数表达式的并发进程。实现语义包括从Facile到C-FAM指令的编译规则和抽象机器的执行规则。这种级别的语义描述适合于那些对实现感兴趣的人。
主页： http://link.springer.com/article/10.1007/BF01491213
相关软件： 皮克特;毫升;乔坎尔;皮杜克;科莱姆;XPath（XPath）;X减少;CDuce公司;XPi公司;图拉法勒;旅行者号;MCNP公司;奈拉;方案;口香糖;口齿不清;GHC公司;磁粉探伤;米兰达;PVM公司
引用于： 22文件
全部的 前5名

32位作者引用

6 轩尼诗，Matthew C.B。
三 科拉多·普里亚米
2 迪加诺，皮尔保罗
2 威廉·费雷拉
2 Alan S.A.杰弗里。
2 科西莫·拉内夫
1 萨缪尔·卡皮内蒂
1 乌戈·德利古罗
1 马里亚纽拉州Dezani-Ciancaglini
1 菲利普·安·加德纳
1 托马斯·格尔克
1 亚历山德罗·贾卡隆
1 约翰·格劳特
1 凯文·哈蒙德
1 赫里萨菲斯·哈托纳斯
1 格雷格·迈克尔森
1 普拉蒂克·米什拉
1 弗莱明·尼尔森
1 卢卡·帕多瓦尼
1 本杰明·皮尔斯。
1 阿道夫·皮佩尔诺
1 安德鲁·皮特斯（Andrew M.Pitts）。
1 桑吉瓦·普拉萨德
1 朱利安·拉特克
1 雷米，迪迪埃
1 汉内·里斯·尼尔森
1 Joshua R.X.罗斯。
1 戴维·桑吉奥吉
1 本特·汤姆森
1 戴维·特纳（David N.Turner）。
1 卢西安·维希克
1 吉田、Nobuko
全部的 前5名

8篇连载文章中引用

6 理论计算机科学
4 信息与计算
1 信息学报
1 SIAM计算机杂志
1 计算机程序设计科学
1 函数编程杂志
1 RIMS Kokyuroku公司
1 计算机科学中的逻辑方法

在3个字段中引用

22 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 一般性和全局性主题；集合（00-XX）

按年份列出的引文