Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis
| Autor: | Kwangkeun Yi, Hakjoo Oh, Kihong Heo |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Computer science
Context sensitivity 020207 software engineering Control engineering 0102 computer and information sciences 02 engineering and technology Static analysis Abstract interpretation 01 natural sciences Grey relational analysis Conjunction (grammar) Domain (software engineering) Computer engineering 010201 computation theory & mathematics Scalability 0202 electrical engineering electronic engineering information engineering Software |
| Zdroj: | Software: Practice and Experience. 47:1677-1705 |
| ISSN: | 0038-0644 |
| DOI: | 10.1002/spe.2493 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Plný text