| |
| 2006 | ||
|---|---|---|
| 15 | EE | Susumu Nishimura: Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. AMAST 2006: 293-307 |
| 14 | EE | Shin-ya Katsumata, Susumu Nishimura: Algebraic fusion of functions with an accumulating parameter and its improvement. ICFP 2006: 227-238 |
| 2005 | ||
| 13 | EE | Susumu Nishimura, Keisuke Nakano: XML stream transformer generation through program composition and dependency analysis. Sci. Comput. Program. 54(2-3): 257-290 (2005) |
| 2004 | ||
| 12 | EE | Susumu Nishimura: Fusion with stacks and accumulating parameters. PEPM 2004: 101-112 |
| 2003 | ||
| 11 | EE | Susumu Nishimura: Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. APLAS 2003: 358-375 |
| 2002 | ||
| 10 | Susumu Nishimura: Deforesting in Accumulating Parameters via Type-Directed Transformations. APLAS 2002: 145-159 | |
| 2001 | ||
| 9 | EE | Keisuke Nakano, Susumu Nishimura: Deriving Event-Based Document Transformers from Tree-Based Specifications. Electr. Notes Theor. Comput. Sci. 44(2): (2001) |
| 2000 | ||
| 8 | Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. Int. J. Found. Comput. Sci. 11(1): 29-63 (2000) | |
| 1999 | ||
| 7 | Susumu Nishimura, Atsushi Ohori: Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. J. Funct. Program. 9(4): 427-462 (1999) | |
| 1998 | ||
| 6 | EE | Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. ASIAN 1998: 169-187 |
| 5 | EE | Susumu Nishimura: Static Typing for Dynamic Messages. POPL 1998: 266-278 |
| 1997 | ||
| 4 | Susumu Nishimura: A Strict Functional Language with Cyclic Recursive Data. Formal Asp. Comput. 9(1): 78-97 (1997) | |
| 1996 | ||
| 3 | Susumu Nishimura, Atsushi Ohori, Keishi Tajima: An Equational Object-Oriented Data Model and its Data-Parallel Query Language. OOPSLA 1996: 1-17 | |
| 2 | Susumu Nishimura: Integrating Different Versions of Programs with Backward and Forward Slicesa. Sci. Comput. Program. 27(1): 1-35 (1996) | |
| 1994 | ||
| 1 | Susumu Nishimura, Atsushi Ohori: A Calculus for Exploiting Data Parallelism on Recursively Defined Data. Theory and Practice of Parallel Programming 1994: 413-432 | |
| 1 | Shin-ya Katsumata | [14] |
| 2 | Martin Müller | [6] [8] |
| 3 | Keisuke Nakano | [9] [13] |
| 4 | Atsushi Ohori | [1] [3] [7] |
| 5 | Keishi Tajima | [3] |