http://www.lingcc.com/2010/01/17/10657/ 编译器、虚拟机、程序设计语言、体系结构、软件调试、操作系统等等 Mon, 06 Feb 2012 11:24:34 +0000 hourly 1 http://wordpress.org/?v=3.3.1 http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-3303 《编译点滴》半年记 « 编译点滴 Mon, 24 May 2010 05:36:59 +0000 http://www.lingcc.com/?p=10657#comment-3303 [...] 17: 前瞻- 编译器的bug就不能少点？ (6) [...] [...] 17: 前瞻- 编译器的bug就不能少点？ (6) [...]

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-730 erlv Wed, 03 Feb 2010 05:18:29 +0000 http://www.lingcc.com/?p=10657#comment-730 @zsc, 从首页的流程图看，越来越像体力活，不过这人发了几篇牛会议。 http://compcert.inria.fr/ @zsc,
从首页的流程图看，越来越像体力活，不过这人发了几篇牛会议。
http://compcert.inria.fr/

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-727 zsc Wed, 03 Feb 2010 04:35:10 +0000 http://www.lingcc.com/?p=10657#comment-727 We can even automatic generate code from proof http://logical.saclay.inria.fr/coq/distrib/v8.2/refman/Reference-Manual027.html We can even automatic generate code from proof
http://logical.saclay.inria.fr/coq/distrib/v8.2/refman/Reference-Manual027.html

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-725 zsc Wed, 03 Feb 2010 04:30:36 +0000 http://www.lingcc.com/?p=10657#comment-725 http://adam.chlipala.net/papers/ImpurePOPL10/ http://adam.chlipala.net/papers/ImpurePOPL10/

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-724 zsc Wed, 03 Feb 2010 04:24:12 +0000 http://www.lingcc.com/?p=10657#comment-724 http://compcert.inria.fr/doc/index.html http://compcert.inria.fr/doc/index.html

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-203 erlv Tue, 19 Jan 2010 02:26:59 +0000 http://www.lingcc.com/?p=10657#comment-203 @zsc, 看这篇文章时，确实比较痛苦，因为没有接触过,有点浮云的感觉，看着没有感觉，只是简单的接收信息，没有消化。下一篇就尝试结合代码来看:) @zsc, 看这篇文章时，确实比较痛苦，因为没有接触过,有点浮云的感觉，看着没有感觉，只是简单的接收信息，没有消化。下一篇就尝试结合代码来看:)

]]> http://www.lingcc.com/2010/01/17/10657/comment-page-1/#comment-202 zsc Tue, 19 Jan 2010 02:23:43 +0000 http://www.lingcc.com/?p=10657#comment-202 看论文不如看代码 看论文不如看代码

]]>