Fuzzy Set Abstraction
| Autor: | Jacob Lidman, Josef Svenningsson |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Theoretical computer science
General Computer Science Computer science business.industry Fuzzy set 020206 networking & telecommunications Static program analysis 0102 computer and information sciences 02 engineering and technology Fuzzy control system Abstract interpretation 01 natural sciences Theoretical Computer Science Software 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Key (cryptography) Dynamic program analysis business Abstraction (linguistics) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 334:17-29 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2018.03.003 |
| Popis: | Program analysis plays a key part in improving modern software. Static (sound) analyses produce globally correct, but often pessimistic results while dynamic (complete) analyses yield highly precise results but with limited coverage. We present the Fuzzy set abstraction which generalizes previous work based on 3-valued logic. Our abstraction allows for hybrid analysis where static results are refined dynamically through the use of fuzzy control systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect