公開日 Checking Correctness Properties of Object-Oriented Programs (Lecture 2) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
公開日 JoCaml: a Language for Concurrent Distributed and Mobile Programming Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt Proceedings of the Fourth Summer School on Advanced Functional Programming | August 2002
公開日 Checking Correctness Properties of Object-Oriented Programs (Lecture 0) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
公開日 Modular MT with a learned bilingual dictionary: rapid deployment of a new language pair Jessie Pinkham, Martine Smets August 2002
公開日 Low Bitrate Watercolor Video Keman Yu, Jiang Li, Jizheng Xu, Shipeng Li MSR-TR-2002-88 | August 2002
ツール Validity Validity checker for a spatial logic, as described in the paper “Deciding Validity in a Spatial Logic for Trees” by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002. アクセス 公開日 公開日
公開日 Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones, Simon Marlow Journal of Functional Programming | July 2002, 巻12: pp. 393-434
公開日 Coordinate: Probabilistic Forecasting of Presence and Availability Eric Horvitz, Paul Koch, Carl Kadie, Andy Jacobs Proceedings of the Eighteenth Conference on Uncertainty and Artificial Intelligence, Edmonton, Alberta. | July 2002 動画
公開日 Generating finite state machines from abstract state machines Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes ISSTA 2002 | July 2002 プロジェクト プロジェクト