Contracts in the Wild: A Study of Java Programs.

Jens Dietrich David J. Pearce Kamil Jezek Premek Brada

Published in: ECOOP (2017)

Keyphrases

java programs
query processing
object oriented
multi threaded