A Common Framework Using Expected Types for Several Type Debugging Approaches.

Kanae Tsushima Olaf Chitil

Published in: FLOPS (2018)

Keyphrases

multiple types
image segmentation
real time
data sets
databases
information systems
case study
three dimensional
data model
strengths and weaknesses
pros and cons
adaptation strategies