轻巧的

ALE:并发和函数式编程的对称集成。FALE是并发编程和函数编程的对称集成。语言既支持函数抽象又支持过程抽象。函数可以在过程中定义和使用,并且可以在表达式求值过程中动态创建进程。在这项工作中,我们提出两个不同的描述操作语义的简便。首先,我们使用标记的过渡系统开发了一个简单的小内核子集的结构操作语义。这样的语义对于方便程序的操作行为的推理是有用的。然后,我们提供了一个抽象的模型,实现简单的:当前和功能抽象机(C-FAM)。C-FAM执行并发过程来评估函数表达式。实现语义包括从简单到C-FAM指令的编译规则和抽象机器的执行规则。语义描述的这种级别适合于感兴趣的实现。


ZBMaCT中的参考文献(22篇文章中引用)

显示结果1至20的22。
按年份排序(引文
  1. Carpineti,Samuele;Laneve,Co Simo;Padovani,卢卡:PiDudie-一个用于实验Web服务技术的项目(2009)
  2. 加德纳,Philippa;Laneve,科西莫;Wischik,卢西恩:线性转发器(2007)
  3. 杰夫瑞,Alan S. A.;Rathke,朱利安:高阶Pi演算的上下文等价性(2005)
  4. 轩尼诗,马修:(\pi)演算的完全抽象指称语义(2002)
  5. PrimaI,科拉多:基于语言的分布式和移动系统性能预测(2002)
  6. 吉田,Nobuko;轩尼诗,马修:将类型分配给进程(2002)
  7. Sangiorgi,D:异步过程计算器:第一和高阶范例(2001)
  8. Pierpaolo DEGANO;PARAMI,科拉多:移动进程的非交错语义(1999)
  9. 费雷拉,威廉;轩尼诗,马修:一阶CML行为理论(1999)
  10. 哈蒙德,凯文(ED);Michaelson,格雷戈(ED.):并行功能程序设计的研究方向(1999)
  11. Dezani Ciancaglini,Mariangiola;De'Liuulo,Ugo;PiPiNO,Addof:一个并发的滤波器模型(λ)-微积分(1998)
  12. 费雷拉,威廉;轩尼诗,马修;杰夫瑞,艾伦:核心CML的弱互模拟理论(1998)
  13. Hartonas,CyFaSIS;轩尼诗,马修:具有高阶值传递的功能/并发语言的完全抽象性(1998)
  14. Pitts,Andrew M.;罗斯,Joshua R. X.:基于对承诺形式的评价的过程演算(1998)
  15. 格尔克,托马斯;RunSink,Arth:一个名字传递演算中的进程创建和完全顺序合成(1997)
  16. Glauert,约翰:对象图重写:一个实验性并行实现(1997)
  17. Nielson,弗来明;Nielson,Hanne Riis:从CML到过程代数(1996)
  18. Pierpaolo的德加诺;普里米,科拉多:移动过程的因果关系(1995)
  19. 轩尼诗,M:高阶过程及其模型(1994)
  20. Pierce,Benjamin C.;Remy,Ddier-;Turner,David N.:一种基于π演算的高阶编程语言(1993)