6 citations · 7 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
Farzane Karami, Olaf Owe, Gerardo Schneider
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…
cs.PL2012★ 1 cited
A Type-Safe Model of Adaptive Object Groups
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen +1
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Design…