咨询与建议

限定检索结果

文献类型

  • 4 篇 会议
  • 3 篇 期刊文献

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 4 篇 软件工程

主题

  • 7 篇 choreographic pr...
  • 2 篇 concurrency
  • 1 篇 theorem proving
  • 1 篇 tierless program...
  • 1 篇 denial-of-servic...
  • 1 篇 jolie
  • 1 篇 formalisation
  • 1 篇 distributed prog...
  • 1 篇 program partitio...
  • 1 篇 certified compil...
  • 1 篇 software-defined...
  • 1 篇 service-oriented...
  • 1 篇 network security
  • 1 篇 specialisation
  • 1 篇 rewrite rules
  • 1 篇 freer monads
  • 1 篇 formal verificat...
  • 1 篇 haskell
  • 1 篇 compilation
  • 1 篇 process calculi

机构

  • 2 篇 inria sophia ant...
  • 2 篇 univ southern de...
  • 2 篇 univ southern de...
  • 1 篇 univ bologna bol...
  • 1 篇 univ southern de...
  • 1 篇 gothenburg univ ...
  • 1 篇 univ calif santa...
  • 1 篇 chalmers univ te...
  • 1 篇 univ bologna dep...

作者

  • 5 篇 montesi fabrizio
  • 3 篇 cruz-filipe luis
  • 3 篇 peressotti marco
  • 2 篇 giallorenzo save...
  • 1 篇 kuper lindsey
  • 1 篇 prandini marco
  • 1 篇 shen gan
  • 1 篇 melis andrea
  • 1 篇 lugovic lovro
  • 1 篇 hammersberg samu...
  • 1 篇 mauro jacopo
  • 1 篇 kashiwa shun
  • 1 篇 krook robert
  • 1 篇 gabbrielli mauri...

语言

  • 7 篇 英文
检索条件"主题词=Choreographic Programming"
7 条 记 录,以下是1-10 订阅
排序:
HasChor: Functional choreographic programming for All (Functional Pearl)
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第ICFP期7卷 541–565页
作者: Shen, Gan Kashiwa, Shun Kuper, Lindsey Univ Calif Santa Cruz Santa Cruz CA 95064 USA
choreographic programming is an emerging paradigm for programming distributed systems. In choreographic programming, the programmer describes the behavior of the entire system as a single, unified program - a choreogr... 详细信息
来源: 评论
A model for correlation-based choreographic programming
收藏 引用
PEERJ COMPUTER SCIENCE 2024年 10卷 e1907-e1907页
作者: Giallorenzo, Saverio Montesi, Fabrizio Gabbrielli, Maurizio INRIA Sophia Antipolis France Univ Bologna Dept Comp Sci & Engn Bologna Italy Univ Southern Denmark Dept Math & Comp Sci Odense Denmark
Choreographies provide a clear way to specify the intended communication behaviour of concurrent and distributed systems. Previous theoretical work investigated the translation of choreographies into (models of) progr... 详细信息
来源: 评论
A Formal Theory of choreographic programming
收藏 引用
JOURNAL OF AUTOMATED REASONING 2023年 第2期67卷 21-21页
作者: Cruz-Filipe, Luis Montesi, Fabrizio Peressotti, Marco Univ Southern Denmark Dept Math & Comp Sci Campusvej 55 DK-5230 Odense M Denmark
choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which correct-by-construction decentralised implementations can be generated automatical... 详细信息
来源: 评论
Choreography-Defined Networks: A Case Study on DoS Mitigation  22nd
Choreography-Defined Networks: A Case Study on DoS Mitigatio...
收藏 引用
22nd International Conference on Service Oriented Computing
作者: Giallorenzo, Saverio Mauro, Jacopo Melis, Andrea Montesi, Fabrizio Peressotti, Marco Prandini, Marco Univ Bologna Bologna Italy INRIA Sophia Antipolis France Univ Southern Denmark Odense Denmark
Software-defined networking and network function virtualization have brought unparalleled flexibility in defining and managing network architectures. With the widespread diffusion of cloud platforms, more resources ar... 详细信息
来源: 评论
Certifying Choreography Compilation  1
收藏 引用
18th International Colloquium on Theoretical Aspects of Computing (ICTAC)
作者: Cruz-Filipe, Luis Montesi, Fabrizio Peressotti, Marco Univ Southern Denmark Dept Math & Comp Sci Campusvej 55 DK-5230 Odense M Denmark
choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from a global viewpoint, the computations and interactions that communicating p... 详细信息
来源: 评论
Certified Compilation of Choreographies with hacc  43rd
Certified Compilation of Choreographies with hacc
收藏 引用
43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE)
作者: Cruz-Filipe, Luis Lugovic, Lovro Montesi, Fabrizio Univ Southern Denmark Dept Math & Comp Sci Odense Denmark
programming communicating processes is challenging, because it requires writing separate programs that perform compatible send and receive actions at the right time during execution. Leaving this task to the programme... 详细信息
来源: 评论
Welcome to the Parti(tioning) (Functional Pearl) Using Rewrite Rules and Specialisation to Partition Haskell Programs  17
Welcome to the Parti(tioning) (Functional Pearl) Using Rewri...
收藏 引用
17th International Symposium on Haskell (Haskell)
作者: Krook, Robert Hammersberg, Samuel Chalmers Univ Technol Gothenburg Sweden Gothenburg Univ Gothenburg Sweden
Writing distributed applications is hard, as the programmer needs to describe the communication protocol between the different endpoints. If this is not done correctly, we can introduce bugs such as deadlocks and data... 详细信息
来源: 评论