GLIB
发表于 2025-3-23 10:06:39
http://reply.papertrans.cn/63/6270/626965/626965_11.png
Gentry
发表于 2025-3-23 14:23:53
Compiling Exceptions Correctly article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness.
审问,审讯
发表于 2025-3-23 19:21:39
http://reply.papertrans.cn/63/6270/626965/626965_13.png
有罪
发表于 2025-3-24 02:10:26
http://reply.papertrans.cn/63/6270/626965/626965_14.png
越自我
发表于 2025-3-24 02:47:39
Probabilistic Predicative ProgrammingThis paper shows how probabilistic reasoning can be applied to the predicative style of programming.
破译
发表于 2025-3-24 09:13:31
http://reply.papertrans.cn/63/6270/626965/626965_16.png
继而发生
发表于 2025-3-24 12:08:21
http://reply.papertrans.cn/63/6270/626965/626965_17.png
真实的人
发表于 2025-3-24 18:20:22
Extended Static Checking for Javaned in a recent PLDI paper . The checker described in the talk and in the PLDI paper is a research prototype on which work ceased several years ago, but Joe Kiniry and David Cok have recently produced a more up-to-date checker, ESC/Java 2 .
Obloquy
发表于 2025-3-24 22:54:12
http://reply.papertrans.cn/63/6270/626965/626965_19.png
可卡
发表于 2025-3-25 02:14:10
Inferring Type Isomorphisms Genericallyoercions between base types. We explain how this technique has been used to drastically improve the usability of a Haskell–XML Schema data binding, and suggest how it might be applied to improve other type-safe language embeddings.