皮克特

Pict是ML传统中的一种语言,通过在一个微小的内核上添加一层方便的语法糖和一个静态类型系统而形成。当前版本包括Pict-to-C编译器、参考手册、语言教程、许多库和示例程序。核心语言——Milner、Parrow和Walker的pi演算的异步变体——已经被用作广泛的并发计算的理论基础。Pict的目标是识别在使用这些原语构建工作程序时自然产生的高级习惯用法,如基本数据结构、返回结果的协议、高阶编程、选择性通信和并发对象等。类型系统集成了最近在类型化面向对象语言的理论基础工作中发现的一些特性。


zbMATH中的参考文献(参考 71篇文章

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. 比斯平,本杰明;内斯特曼,威斯康星州;彼得斯,基尔斯廷:耦合相似性:前32年(2020年)
  2. Bhattacharyya,Anirban;Mokhov,Andrey;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  3. 陈子春;Dezani Ciancaglini,Mariangiola;Scalas,Alceste;Yoshida,Nobuko:关于会话类型中子类型的精确性(2017)
  4. Bósa,Károly:基于环境抽象状态机的移动计算系统的形式化建模(2013)
  5. Ritson,Carl G.;Sampson,Adam T.;Barnes,Frederick R.M.:轻量级通信过程的多核调度(2012)ioport公司
  6. Vasconcelos,Vasco T.:课程类型基础(2012)
  7. dasilva,Paulo Salem;demelo,anac.V.:多智能体系统的形式化环境模型(2011)
  8. Matiello,Pedro;de Melo,Ana C.V.:Pistage:在Scala中实现(\pi)-微积分(2011)
  9. Gorla,Daniele:分布和流动过程计算的分类法(2010)
  10. Ohmori,Kenji;Kunii,Tosiyasu L.:使用基于同伦理论的递增模块化抽象层次设计和建模网络世界(2010)ioport公司
  11. Jacek,Sroka;Hidders,Jan;Misier,Paolo;Goble,Carole:Taverna2工作流模型的形式语义(2010)
  12. Bidinger,Philippe;Compagoni,Adriana:Pict正确性回顾(2009)
  13. Cervesato,Iliano;Scedrov,Andre:通过线性逻辑关联基于状态和基于进程的并发(完整版)(2009)
  14. Gorla,Daniele:关于流动性结石的相对表达能力(2009)
  15. Hassan,Abubakar;Mackie,Ian;Sato,Shinya:交互网络汇编(2009)
  16. 轩尼诗,马修;高尔,曼尼什:计算成本在毕卡库勒斯(扩展摘要)(2009年)
  17. 大卫·基钦;夸克,阿德里安;库克,威廉;米斯拉,贾亚德夫:兽人编程语言(2009)
  18. Gorla,Daniele:通过相对表达能力比较沟通原语(2008)
  19. Kobayashi,Naoki;Sangiorgi,Davide:一种用于移动进程锁定自由的混合型系统(2008)
  20. 马,秦;马兰杰,吕克:连接演算中的代数模式匹配(2008)