Login
中文
Program Analysis
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Software system
Type system
Theory of computation
Java
Program slicing
Reverse engineering
Model checking
Data-flow analysis
Computer Science
Software Testing
Source code
Programming language
Static analysis
Software Engineering
Functional programming
Object-oriented programming
Verification
Data analysis
Software verification
Formal methods
Control flow
Software maintenance
Compiler
Logic
Verification and validation
Parent Topic:
Theoretical computer science
,
Computer Science
,
Algorithm
,
Programming language
Top Authors:
Thomas Reps
Alex Aiken
Mary Jean Harrold
Flemming Nielson
Salvador Lucas
Laurie Hendren
Mooly Sagiv
Chris Hankin
Martin Rinard
Lori Pollock
Jens Palsberg
Willem Visser
Hanne Riis Nielson
Paul Klint
Hongseok Yang
Bart Demoen
Michael Codish
Peter J Stuckey
Yanhong A Liu
Sriram K Rajamani
Mark Grechanik
Pasquale Malacaria
Manuel Fahndrich
Helmut Seidl
Kwangkeun Yi
Nevin Heintze
Thomas Ball
Dieter Kranzlmuller
Baowen Xu
Jurriaan Hage
Matthew Might
Heike Wehrheim
Arpad Beszedes
Thom Fruhwirth
Ganesh Sittampalam
Peter Lee
Michael G Burke
Jianjun Zhao
Andrei Sabelfeld
Ralf Lammel
K Vijayshanker
Manuel V Hermenegildo
Oege De Moor
Donglin Liang
Tao Xie
Philippe Clauss
Jurgen J Vinju
Kim Marriott
Thomas A Henzinger
Aditya V Nori
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation