The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susumu Nishimura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002