DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Se-Won | ko |
dc.contributor.author | Choe, Kwang-Moo | ko |
dc.date.accessioned | 2013-03-28T10:56:56Z | - |
dc.date.available | 2013-03-28T10:56:56Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2011-01-23 | - |
dc.identifier.citation | 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, pp.294 - 308 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10203/165075 | - |
dc.description.abstract | We formalize a string analysis within abstract interpretation framework. The abstraction of strings is given as a conjunction of predicates that describes the common configuration changes on the reference pushdown automaton while processing the strings. We also present a family of pushdown automata called E bounded pushdown automata. This family covers all context-free languages, and by using this family of pushdown automata, we can prevent abstract values from becoming infinite conjunctions and guarantee that the operations required in the analyzer are computable. | - |
dc.language | English | - |
dc.publisher | 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011 | - |
dc.title | String analysis as an abstract interpretation | - |
dc.type | Conference | - |
dc.identifier.wosid | 000297039800021 | - |
dc.identifier.scopusid | 2-s2.0-79251568620 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 294 | - |
dc.citation.endingpage | 308 | - |
dc.citation.publicationname | 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011 | - |
dc.identifier.conferencecountry | US | - |
dc.identifier.conferencelocation | Austin, TX | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.nonIdAuthor | Kim, Se-Won | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.