WFRF:(Abdulla Parosh)
Search: WFRF:(Abdulla Parosh) > (2015-2019) > Flatten and Conquer :
- 9 of 54
- Previous record
- Next record
- To hitlist
Flatten and Conquer : A Framework for Efficient Analysis of String Constraints
-
- Abdulla, Parosh Aziz, 1961- (author)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
- Atig, Mohamed Faouzi (author)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
- Chen, Yu-Fang (author)
- Academic Sinica, Taiwan
- show more...
- show less...
- (creator_code:org_t)
- 2017-06-14
- 2017
- English.
- In: SIGPLAN notices. - New York, NY, USA : ACM. - 0362-1340 .- 1558-1160. - 9781450349888 ; 52:6, s. 602-617, s. 602-617
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- We describe a uniform and efficient framework for checking the satisfiability of a large class of string constraints. The framework is based on the observation that both satisfiability and unsatisfiability of common constraints can be demonstrated through witnesses with simple patterns. These patterns are captured using flat automata each of which consists of a sequence of simple loops. We build a Counter-Example Guided Abstraction Refinement (CEGAR) framework which contains both an under-and an over-approximation module. The flow of information between the modules allows to increase the precision in an automatic manner. We have implemented the framework as a tool and performed extensive experimentation that demonstrates both the generality and efficiency of our method.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- String Equation; Formal Verification; Automata Theory
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- SIGPLAN notices (Search for host publication in LIBRIS)
To the university's database
- 9 of 54
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Abdulla, Parosh ...
- Atig, Mohamed Fa ...
- Chen, Yu-Fang
- Bui, Phi Diep
- Holık, Lukas
- Rezine, Ahmed
- show more...
- Rümmer, Philipp, ...
- show less...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- SIGPLAN notices
- ACM SIGPLAN NOTI ...
- By the university
- Uppsala University
- Linköping University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
