西村 進
ニシムラ ススム (Susumu Nishimura)
更新日: 02/06
論文
26
表示件数
-
Leibniz International Proceedings in Informatics, LIPIcs 95 22:1-22:16 2018年3月1日 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 23 578-596 2013年9月1日 査読有り
-
Information Processing Society of Japan Transactions on Programming (PRO)Information Processing Society of Japan Transactions on Programming (PRO) 2012(5(4)) 17-26 2012年9月 査読有り
-
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 101-110 2011年 査読有り
-
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION 6037 113-127 2010年 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 18 781-819 2008年9月 査読有り
-
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS 5133 284-304 2008年 査読有り
-
ACM SIGPLAN NOTICES 41(9) 227-238 2006年9月 査読有り
-
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS 4019 293-307 2006年 査読有り
-
SCIENCE OF COMPUTER PROGRAMMING 54(2-3) 257-290 2005年2月 査読有り
-
コンピュータソフトウェア = Computer software 21(6) 494-498 2004年11月25日
-
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 101-112 2004年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS 2895 358-375 2003年 査読有り
-
コンピュータソフトウェア 19(4) 289-295 2002年 査読有り
-
Electronic Notes in Theoretical Computer Science 44(2) 187-211 2001年6月 査読有り
-
Computer Software 18(2) 262-281 2001年3月 査読有り
-
コンピュータソフトウェア = Computer software 17(1) 19-20 2000年1月17日
-
International Journal of Foundations of Computer Science 11(1) 29-63 2000年 査読有り
-
Journal of Functional Programming 9(4) 427-462 1999年 査読有り
-
Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998年 査読有り