Zum Inhalt springen

Yi, Kwangkeun [Herausgeber:in] ; APLAS 3 2005 Tsukuba

Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3780
Yi, Kwangkeun [Herausgeber:in] ; SAS 13 2006 Seoul

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4134
Yi, Kwangkeun [Sonstige Person, Familie und Körperschaft]

Static Analysis (vol. # 4134) : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4134
Yi, Kwangkeun [Sonstige Person, Familie und Körperschaft]

Programming Languages and Systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Erschienen in: Lecture notes in computer science ; 3780
YI, KWANGKEUN

EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2006

Erschienen in: Journal of Functional Programming, 16 (2006) 6, Seite 663-670
Yi, Kwangkeun

An abstract interpretation for estimating uncaught exceptions in Standard ML programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1998

Erschienen in: Science of Computer Programming, 31 (1998) 1, Seite 147-173
Yi, Kwangkeun

Static Analysis: Compile-time detection of uncaught exceptions in Standard ML programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1994

Erschienen in: Static Analysis (1994), Seite 238-254
Kim, Jinyung; Yi, Kwangkeun

Data-driven Path Selection for Improving Industrial-Strength Static Analyzers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2019

Erschienen in: Journal of KIISE, 46 (2019) 4, Seite 363-368
Oh, Hakjoo; Yi, Kwangkeun

Access-based abstract memory localization in static analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2013

Erschienen in: Science of Computer Programming, 78 (2013) 9, Seite 1701-1727
Oh, Hakjoo; Yi, Kwangkeun

Programming Languages and Systems: Access-Based Localization with Bypassing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Programming Languages and Systems (2011), Seite 50-65
Oh, Hakjoo; Yi, Kwangkeun

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2010

Erschienen in: Software: Practice and Experience, 40 (2010) 8, Seite 585-603
Yi, Kwangkeun; Ryu, Sukyoung

A cost-effective estimation of uncaught exceptions in Standard ML programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Theoretical Computer Science, 277 (2002) 1-2, Seite 185-217
Polakow, Jeff; Yi, Kwangkeun

Functional and Logic Programming: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2001

Erschienen in: Functional and Logic Programming (2001), Seite 61-77
Lee, Oukseh; Yi, Kwangkeun

Proofs about a folklore let-polymorphic type inference algorithm

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1998

Erschienen in: ACM Transactions on Programming Languages and Systems, 20 (1998) 4, Seite 707-723
Yi, Kwangkeun; Ryu, Sukyoung

Static Analysis: Towards a cost-effective estimation of uncaught exceptions in SML programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen in: Static Analysis (1997), Seite 98-113
Kim, Ik-Soon; Yi, Kwangkeun

LR error repair using the A* algorithm

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2010

Erschienen in: Acta Informatica, 47 (2010) 3, Seite 179-207
Shilov, Nikolay V.; Yi, Kwangkeun

Engaging students with theory through ACM collegiate programming contest

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2002

Erschienen in: Communications of the ACM, 45 (2002) 9, Seite 98-101
Murawski, Andrzej S.; Yi, Kwangkeun

Lecture Notes in Computer Science: Static Monotonicity Analysis for λ-definable Functions over Lattices

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Lecture Notes in Computer Science (2002), Seite 139-153
Yoon, Yongho; Lee, Woosuk; Yi, Kwangkeun

Improving Counterexample-Guided Bidirectional Inductive Synthesis by an Incremental Approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2023

Erschienen in: Journal of KIISE, 50 (2023) 12, Seite 1091-1101
Yoon, Yongho; Lee, Woosuk; Yi, Kwangkeun

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2023

Erschienen in: Proceedings of the ACM on Programming Languages, 7 (2023) PLDI, Seite 1657-1681

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr