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:
Log. Methods Comput. Sci. (2016)
Keyphrases
</>
type checking
data types
database query languages
complex objects
relational calculus
query processor
abstract data types
object model
relational databases
high level
data model
data warehouse
programming language
expressive power
user defined
transitive closure