外山研輪講 紹介論文一覧 (2001年度)

• 3/7(木) 紹介者: 丹野
  J.J.Thiel,
  Stop losing sleep over incomplete data type specifications,
  The proceedings of the 11th Annual SCM Symposium on Principles of Programming Languages,pp.76-82,1984
• 3/7(木) 紹介者: 秋谷
  R. Bundgen and W. Lauterbach,
  Experiments with Partial Evaluation Domains for Rewrite Specifications,
  LNCS 1130,Recent Trends in Data Type Specification,
  11th Workshop on Specification of Abstract Data Types Joint with 8th COMPASS Workshop, 1995.
• 3/7(木) 紹介者: 濱田
  CHRISTOH M. HOFFMANN and MICHAEL J. O'DONNELL,
  Programming with Equations,
  ACM Transactions on Programming Languages and Systems,
  Vol. 4, Mo. 1, January 1982, Pages 83-112.
• 2/19(火) 紹介者: 伊藤
  Y. A. Liu and S. D. Stoller,
  Eliminating dead code on recursive data,
  Science of Computer Programming (SCP). To appear.
• 12/18(火) 紹介者: 鶴川
  Oege de Moor, Ganesh Sittampalam,
  Higher-order matching for program transformation,
  Theoretical Computer Science 269, pp.135-162, 2001.
• 11/27(火) 紹介者: 草刈
  J.Giesl and D.Kapur,
  Dependency Pairs for Equational Rewriting,
  In Proceedings of the 12th International Conference on Rewriting Techniques and Applications,
  LNCS 2051 (RTA2001), pp.93-107, 2001.
• 11/21(火) 紹介者: 外山
  T. Genet and F. Klay,
  Rewriting for Cryptographic Protocol Verification,
  CADE-17, LNCS 1831 (2000) 271-290.
• 10/2(火) 紹介者: 木村
  Dieter Hofbauer,
  Termination Proofs by Context-Dependent Interpretations,
  In Proceedings of 12th International Conference on Rewriting Techniques and Applications (RTA 2001), LNCS 2051, pp.108-121, 2001.
• 9/19(水) 紹介者: 伊藤
  H.Seidl and M.H.Srensen,
  Constraints to Stop Deforestation,
  Science of Computer Programming, 32(1-3):73-107, September 1998.
• 7/18(水) 紹介者: 外山
  Andrzej Filinski,
  A Semantic Account of Type-Directed Partial Evaluation,
  Proc. of International Conference on Principle and Practice of Declarative Programming (PPDP'99), Lecture Notes in Comput. Sci. 1702 (Springer-Verlag, 1999) 378-395.
• 7/3(火) 紹介者: 草刈
  Femke van Raamsdonk,
  On Termination of Higher-Order Rewriting,
  In Proceedings of 12th International Conference on Rewriting Techniques and Applications (RTA 2001), LNCS 2051, pp.261-275, 2001.
• 6/27(水) 紹介者: 鶴川
  Toshiyuki Yamada,
  Confluence and Termination of Simply Typed Term Rewriting Systems,
  In Proceedings of 12th International Conference on Rewriting Techniques and Applications (RTA 2001), LNCS 2051, pp.338-352, 2001.
• 6/20(水) 紹介者: 福井
  Deepak Kapur and Mahadavan Subramaniam,
  Extending Decision Procedures with Induction Schemes,
  Proceedings of 17th International Conference on Automated Deduction (CADE-17), Pittsburgh, PA, USA, Lecture Notes in Computer Science 1831, pp.324-345, June 2000.

webmaster