Login / Signup
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities.
Lau Skorstengaard
Dominique Devriese
Lars Birkedal
Published in:
J. Funct. Program. (2021)
Keyphrases
</>
control flow
data flow
software testing
object oriented databases
process model
modeling language
database
knowledge base
workflow management systems
formal semantics
business process models
data sets
data structure
test cases
reactive systems