Skip to main navigation
Skip to search
Skip to main content
Korea University Pure Home
Home
Profiles
Research units
Equipment
Research output
Press/Media
Search by expertise, name or affiliation
A progress bar for static analyzers*
Woosuk Lee
,
Hakjoo Oh
, Kwangkeun Yi
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A progress bar for static analyzers*'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Static Analysis
100%
Static Analyzer
100%
Progress Bar
100%
Progress Indicators
100%
Statistical Methods
50%
User Interface
50%
Code Size
50%
Semantic Bases
50%
Interval Analysis
50%
Pointer Analysis
50%
Semantic Complexity
50%
Abstract Domains
50%
Computer Science
Static Program Analysis
100%
Progress Indicator
100%
User Interfaces
50%
Target Software
50%
Pointer Analysis
50%