×

乔坎尔

swMATH ID: 2065
软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特
描述： JoCaml：一种并发分布式和移动编程语言。在这些课堂笔记中，我们概述了使用JoCaml的并发、分布式和移动编程。JoCaml是Objective Caml语言的扩展。它扩展了OCaml，支持并发和同步、程序的分布式执行以及执行期间活动程序片段的动态重新定位。JoCaml的编程模型基于连接演算。该模型的特点是明确的局部性概念，严格遵守局部同步，并自然嵌入ML函数编程。局部同步意味着消息始终传送到指定的目的地，并且只有到达该目的地后才能进行交互；这是高效异步实现所必需的。具体来说，连接演算使用ML的函数绑定和消息上的模式匹配来表示本地同步。讲座和实验课程说明了如何使用JoCaml以比传统的线程加锁方法更高级的方式编写并发和分布式应用程序。
主页： http://jocaml.inia.fr/
相关软件： 皮克特;OCaml公司;皮杜克;科莱姆;埃尔朗;斯卡拉;Multilisp语言;欧兹;安全Dpi;XPath（XPath）;灵活;ULM公司;AspectJ公司;凯撒J;TALx86;中量级爪哇;美赞臣;J盒;防抱死制动系统;轻量级Java
引用于： 26文件

标准条款

1出版物描述软件 年份
JoCaml：一种并发分布式和移动编程语言
Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特
2003
全部的 前5名

52位作者引用

4 塞德里克·Fornet
4 科西莫·拉内夫
三 Damien Pous
2 菲利普·安·加德纳
2 吕克·马兰吉特
2 乌韦·内斯特曼
2 约阿希姆·尼伦
2 柯斯汀·彼得斯
2 阿兰·施密特
2 施温哈默（Jan Schwinghammer）
1 梅尔·艾伦·威廉姆斯
1 盖伊·E·布莱洛赫。
1 杰拉德·布多尔
1 萨缪尔·卡皮内蒂
1 泽维尔·克莱尔
1 苏珊·艾森巴赫
1 迪帕克·加格
1 菲利普·B·吉本斯。
1 乔治·戈蒂尔
1 皮埃尔·哈布泽特
1 菲利普·哈勒
1 罗伯特·哈珀
1 丹尼尔·赫希科夫
1 迈克尔·R·A·胡特。
1 拉德哈·贾加迪桑
1 詹姆斯·J·莱弗。
1 朗格莱，塞尔盖伊
1 珍妮·雅克·利维
1 马，秦
1 塞尔吉奥·马菲斯
1 马里诺·米库兰
1 希瑟·米勒
1 卢卡·帕多瓦尼
1 弗兰克·芬宁
1 菲利普斯，安德鲁
1 雷米，迪迪埃
1 大卫·萨贝尔
1 戴维·桑吉奥吉
1 曼弗雷德·施密特·沙乌
1 戴维·施密特（David A.Schmidt）。
1 安娜施密特
1 彼得·休厄尔
1 格特·斯莫尔卡
1 丹尼尔·斯波恩豪威尔
1 Jean-Bernard斯特凡尼
1 尼古拉斯·塔巴鲁
1 埃里克·坦特
1 维克托·瓦菲亚迪斯
1 基思·旺斯堡
1 卢西安·维希克
1 吉田、Nobuko
1 弗朗西斯科·扎帕·纳德利
全部的 前5名

8篇连载文章中引用

5 理论计算机科学
三 信息与计算
三 函数编程杂志
2 逻辑与代数程序设计杂志
1 计算机程序设计科学
1 分布式计算
1 计算机科学中的逻辑方法
1 程序设计中的逻辑和代数方法杂志

在3个字段中引用

26 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）
1 范畴理论；同调代数（18-XX）

按年份列出的引文