- Points-to analysis in almost linear time
1996/01/01 by Bjarne Steensgaard · 4 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Software Testing and Debugging Techniques #Parallel Computing and Optimization Techniques #Alias #Computer science #Variable (mathematics) #Type inference #Algorithm #Control flow graph #Type (biology) #Fixed point #Constraint (computer-aided design) #Data-flow analysis #Transitive relation #Linear system #Control flow analysis #Mathematics #Theoretical computer science #Inference #Data flow diagram #Combinatorics #Programming language