Back to Results
First PageMeta Content
Mathematics / Reachability / Separable space / FO / Live variable analysis / Applied mathematics / Theoretical computer science / Data-flow analysis / Pointer


On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te
Add to Reading List

Document Date: 2013-12-20 23:04:53

Open Document

File Size: 375,68 KB

Share Result on Facebook

City

Kowloon / /

Facility

Engineering Hong Kong University of Science / /

IndustryTerm

bit-vector algorithms / o1 allocation site / /

NaturalFeature

Technology Clear Water Bay / /

Organization

Charles Zhang Department of Computer Science / Hong Kong University of Science and Technology / Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay / /

Person

Charles Zhang / Xiao Xiao / /

Technology

bit-vector algorithms / /

SocialTag