Locally Static, Globally Dynamic Session Types for Active Objects.

Reiner Hähnle Anton W. Haubner Eduard Kamburjan

Published in: Gabbrielli's Festschrift (2020)

Keyphrases

data structure
dynamic environments
data objects
multiple types
dynamic analysis
data sets
information retrieval
case study
relational databases
d objects
object classes
object segmentation
target object