公開日 Pairwise Testing Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 2002
公開日 Template meta-programming for Haskell Tim Sheard, Simon Peyton Jones Proceedings of the 2002 Haskell Workshop, Pittsburgh | October 2002
公開日 Compactly representing first-order structures for static analysis R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv 9th International Symposium, SAS 2002 | September 2002
公開日 Specifying and verifying systems with TLA+ Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
公開日 On loops, dominators, and dominance frontiers G. Ramalingam In Proceedings of the SIGPLAN ’00 Conference on Programming Language Design and Implementation | September 2002
公開日 Location of Mobile Devices Using Networked Surfaces Frank Hoffmann, James Scott Proceedings of the Fourth International Conference on Ubiquitous Computing (UbiComp 2002) | September 2002
公開日 Checking Correctness Properties of Object-Oriented Programs (Lecture 4) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
公開日 Checking Correctness Properties of Object-Oriented Programs (Lecture 3) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
公開日 Checking Correctness Properties of Object-Oriented Programs (Lecture 1) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002