Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Arslanagić, Alen"'
Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential for program correctness; a session type says what and when should be exchanged through a channel. Central to sess
Externí odkaz:
http://arxiv.org/abs/2301.05301
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of an object. We target the analysis of contracts in low-latency environme
Externí odkaz:
http://arxiv.org/abs/2201.10627
Session types are a discipline for the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. It is most relevant to investigate session-based concurrency by identifying the essential
Externí odkaz:
http://arxiv.org/abs/2107.10936
Publikováno v:
In Information and Computation March 2024 297
Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as Java. A session type specifies what and when should be exchanged throug
Externí odkaz:
http://arxiv.org/abs/1906.03836
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.