Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Automatic Code and Test Generation of Smart Contracts from Coordination Models
Elvis Konjoh Selabi, Maurizio Murgia, António Ravara +1
We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, d…
cs.PL2026
JoinActors: A Modular Library for Actors with Join Patterns
Ayman Hussein, Philipp Haller, Ioannis Karras +3
Join patterns are a high-level programming construct for message-passing applications. They offer an intuitive and declarative approach for specifying how concurrent and distribute…