Search the dblp DataBase

Publications of Author

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