Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen Colin S. Gordon Satish Chandra Manu Sridharan Frank Tip Koushik Sen

Published in: ECOOP (2016)

Keyphrases

computational intelligence
intelligent systems
database systems
expert systems
information technology
building blocks
databases
information systems
image processing
three dimensional
multiresolution
management system
complex systems