Zobrazeno 1 - 10
of 169
pro vyhledávání: '"Montesi, Fabrizio"'
Enterprise applications are often built as service-oriented architectures, where the individual services are designed to perform specific functions and interact with each other by means of well-defined APIs (Application Programming Interfaces). The a
Externí odkaz:
http://arxiv.org/abs/2407.07428
Dynamic logic in the setting of concurrency has proved problematic because of the challenge of capturing interleaving. This challenge stems from the fact that the operational semantics for programs considered in these logics is tailored on trace reas
Externí odkaz:
http://arxiv.org/abs/2403.18508
Choreographic programming is a paradigm for writing distributed applications. It allows programmers to write a single program, called a choreography, that can be compiled to generate correct implementations of each process in the application. Althoug
Externí odkaz:
http://arxiv.org/abs/2401.17403
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interactions between processes, and can be compiled to distributed implementation
Externí odkaz:
http://arxiv.org/abs/2304.14539
We present PolyChor$\lambda$, a language for higher-order functional \emph{choreographic programming} -- an emerging paradigm by which programmers write the desired cooperative behaviour of a system of communicating processes and then compile it into
Externí odkaz:
http://arxiv.org/abs/2303.04678
Autor:
Lugović, Lovro, Montesi, Fabrizio
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 8
In the paradigm of choreographic programming, the overall behaviour of a distributed system is coded as a choreography from a global viewpoint. The choreography can then be automatically projected (compiled) to a correct implementation for each parti
Externí odkaz:
http://arxiv.org/abs/2303.03983
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 programmer can easily lead to bugs. Choreo
Externí odkaz:
http://arxiv.org/abs/2303.03972
Autor:
Cruz-Filipe, Luís, Montesi, Fabrizio
Choreographic programming is a paradigm where developers write the global specification (called choreography) of a communicating system, and then a correct-by-construction distributed implementation is compiled automatically. Unfortunately, it is pos
Externí odkaz:
http://arxiv.org/abs/2302.14622
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 automatically. Theory of choreographies typi
Externí odkaz:
http://arxiv.org/abs/2209.01886