Login / Signup
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Søren Debois
Thomas T. Hildebrandt
Tijs Slaats
Nobuko Yoshida
Published in:
FORTE (2014)
Keyphrases
</>
type checking
data types
database query languages
complex objects
relational calculus
query processor
abstract data types
spatio temporal
object model
management system
software engineering
response time
relational algebra