Browse "School of Computing(전산학부)" by Subject LOGIC
Showing results 1 to 7 of 7
| A bottom-up pointer analysis using the update history Kang, Hyun-Goo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707, 2009-04 |
| A Divide-and-Conquer Approach for Analysing Overlaid Data Structures Lee, Oukseh; Yang, Hongseok; Petersen, Rasmus, FORMAL METHODS IN SYSTEM DESIGN, v.41, no.1, pp.4 - 24, 2012-08 |
| Automatic verification of pointer programs using grammar-based shape analysis Lee, O; Yang, Hongseok; Yi, KK, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.3444, pp.124 - 140, 2005 |
| Blaming the Client: On Data Refinement in the Presence of Pointers Filipovic, Ivana; O'Hearn, Peter; Torp-Smith, Noah; Yang, Hongseok, FORMAL ASPECTS OF COMPUTING, v.22, no.5, pp.547 - 583, 2010-09 |
| Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
| Floating-ECC: Dynamic Repositioning of Error Correcting Code Bits for Extending the Lifetime of STT-RAM Caches Farbeh, Hamed; Kim, Hyeonggyu; Miremadi, Seyed Ghassem; Kim, Soontae, IEEE TRANSACTIONS ON COMPUTERS, v.65, no.12, pp.3661 - 3675, 2016-12 |
| Step-Indexed Kripke Models over Recursive Worlds Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,770 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989