Login / Signup
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities.
Lau Skorstengaard
Dominique Devriese
Lars Birkedal
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
control flow
data flow
software testing
workflow management systems
process model
modeling language
computational power
reactive systems
transition systems
database
data sets
artificial intelligence
cooperative
memory hierarchy
business process models