A type-based complexity analysis of Object Oriented programs.

Emmanuel Hainry Romain Péchoux

Published in: Inf. Comput. (2018)

Keyphrases

complexity analysis
object oriented programs
specification languages
first order logic
theoretical analysis
integration testing
lower bound
computational complexity
database
data sets
impact analysis
knowledge representation
error rate