 | 2008 |
|---|
| 17 |       | Susumu Nishimura:
Safe Modification of Pointer Programs in Refinement Calculus.
MPC 2008: 284-304 |
| 16 | | Shin-ya Katsumata,
Susumu Nishimura:
Algebraic fusion of functions with an accumulating parameter and its improvement.
J. Funct. Program. 18(5-6): 781-819 (2008) |
| 2006 |
|---|
| 15 | | Susumu Nishimura:
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.
AMAST 2006: 293-307 |
| 14 | | Shin-ya Katsumata,
Susumu Nishimura:
Algebraic fusion of functions with an accumulating parameter and its improvement.
ICFP 2006: 227-238 |
| 2005 |
|---|
| 13 | | 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 | | Susumu Nishimura:
Fusion with stacks and accumulating parameters.
PEPM 2004: 101-112 |
| 2003 |
|---|
| 11 | | 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 | | 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 | | Martin Müller,
Susumu Nishimura:
Type Inference for First-Class Messages with Feature Constraints.
ASIAN 1998: 169-187 |
| 5 | | 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 |
