8 citations · 8 across the 1 of their papers we have counts for
3 papers
cs.PL2020
Multiparty Session Programming with Global Protocol Combinators
Keigo Imai, Rumyana Neykova, Nobuko Yoshida +1
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating proces…
cs.PL2018
Reversing Parallel Programs with Blocks and Procedures
James Hoey, Irek Ulidowski, Shoji Yuen
We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of opera…
cs.PL2017★ 8 cited
Reversing Imperative Parallel Programs
James Hoey, Irek Ulidowski, Shoji Yuen
We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the origi…