Chung-Kil Hur

From MaRDI portal
Revision as of 15:15, 21 September 2023 by Import230921010924 (talk | contribs) (Created automatically from import230921010924)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1014643

Available identifiers

zbMath Open hur.chung-kilMaRDI QIDQ1014643

List of research outcomes





PublicationDate of PublicationType
A promising semantics for relaxed-memory concurrency2017-10-20Paper
https://portal.mardi4nfdi.de/entity/Q52753902017-07-13Paper
Pilsner: a compositionally verified compiler for a higher-order imperative language2017-05-10Paper
Lightweight verification of separate compilation2016-10-24Paper
The marriage of bisimulations and Kripke logical relations2015-09-11Paper
Biorthogonality, step-indexing and compiler correctness2015-01-06Paper
The power of parameterization in coinductive proof2014-11-27Paper
Term Equational Systems and Logics2014-05-13Paper
A kripke logical relation between ML and assembly2014-04-10Paper
Strongly typed term representations in Coq2013-08-01Paper
On the mathematical synthesis of equational logics2012-04-02Paper
Second-Order Equational Logic (Extended Abstract)2010-09-03Paper
On the construction of free algebras for equational systems2009-04-29Paper
Equational Systems and Free Constructions (Extended Abstract)2007-11-28Paper

Research outcomes over time

This page was built for person: Chung-Kil Hur

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1014643&oldid=5813632"
Powered by MediaWiki