Towards Static Type-checking for Jolie.

Bogdan Mingela Nikolay Troshkov Manuel Mazzara Larisa Safina Alexander Tchitchigin

Published in: CoRR (2017)

Keyphrases

type checking
data types
query processor
abstract data types
database query languages
relational calculus
object model
viewpoint
data model
expressive power
user defined