Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Efficient compilation and execution of synchronous programs via type-state programming
Avinash Malik
Synchronous programs are used extensively in implementation of safety critical embedded software. Imperative synchronous programming languages model multiple Finite State Machines…
cs.PL2025
Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen +2
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile a…