Kalas: A Verified, End-To-End Compiler for a Choreographic Language.

Johannes Åman Pohjola Alejandro Gómez-Londoño James Shaker Michael Norrish

Published in: ITP (2022)

Keyphrases

end to end
programming language
wireless ad hoc networks
admission control
high bandwidth
multipath
congestion control
general purpose
ad hoc networks
content delivery
real time
multimedia
production system
rate allocation
scalable video
java bytecode