Title: Static analysis
Subjects: Computer programming, Congresses, Programming languages (Electronic computers), Statics