公開日 Interscale Predictive Wavelet Coding with Huber Markov Random Field Jin Li Picture Coding Symposium, Berlin, Germany | September 1997
公開日 Reliability and Availability Issues in Distributed Component Object Model (DCOM) Yi-Min Wang, Om P. Damani, Woei-Jyh Lee Lee September 1997
公開日 Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich, Alexander Aiken Proceedings of the 4th International Static Analysis Symposium | September 1997
公開日 Implicit typing `a la ML for the join-calculus Cédric Fournet, Cosimo Laneve, Luc Maranget Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science | July 1997
公開日 A Structured Language Model Ciprian Chelba Proc. of the European Association for Computational Linguistics | July 1997
公開日 Formal verification of FIRE: A case study. Jae-Young Jang, Shaz Qadeer, M. Kaufmann Design Automation Conference, 1997. Proceedings of the 34th | June 1997
公開日 Staticallly Checkable Pattern Abstractions Manuel Fahndrich, John Boyland Proceedings of the International Conference on Functional Programming (ICFP ’97) | June 1997
公開日 Henk: a typed intermediate language E Meijer, Simon Peyton Jones Types in Compilation | 1997 | Types in Compilation edition