A Type-Based Complexity Analysis of Object Oriented Programs.

Emmanuel Hainry Romain Péchoux

Published in: CoRR (2018)

Keyphrases

complexity analysis
object oriented programs
integration testing
theoretical analysis
lower bound
specification languages
computational complexity
object oriented
first order logic
training data
machine learning
software engineering
impact analysis