Susumu Nishimura

发表

Parallel functional programming on recursively defined data via data-parallel recursion

Atsushi Ohori, Susumu Nishimura, A. Ohori, 1999, Journal of Functional Programming.

Schlegel Diagram and Optimizable Immediate Snapshot Protocol

Susumu Nishimura, S. Nishimura, 2017, OPODIS.

Static typing for dynamic messages

Susumu Nishimura, Susumu Nishimura, 1998, POPL '98.

Deforesting in Accumulating Parameters via Type-Directed Transformations

Susumu Nishimura, 2002, APLAS.

Refining Exceptions in Four-Valued Logic

Susumu Nishimura, S. Nishimura, 2009, LOPSTR.

Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries pdf

Susumu Nishimura, Koki Yagi, S. Nishimura, 2020, ArXiv.

May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics

Keisuke Watanabe, Susumu Nishimura, S. Nishimura, 2012 .

XML stream transformer generation through program composition and dependency analysis

Keisuke Nakano, Susumu Nishimura, Keisuke Nakano, 2005, Sci. Comput. Program..

Static Typing for Dynamic Messages(Type Theory and its Applications to Computer Systems)

Susumu Nishimura, 1998 .

A strict functional language with cyclic recursive data

Susumu Nishimura, 2005, Formal Aspects of Computing.

Calculating tree navigation with symmetric relational zipper

Yuta Ikeda, Susumu Nishimura, S. Nishimura, 2011, PEPM '11.

An equational object-oriented data model and its data-parallel query language

Keishi Tajima, Atsushi Ohori, Susumu Nishimura, 1996, OOPSLA '96.

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic

Susumu Nishimura, S. Nishimura, 2006, AMAST.

Safe Modification of Pointer Programs in Refinement Calculus

Susumu Nishimura, 2008, MPC.

XML stream transformer generation through program composition and dependency analysis

Keisuke Nakano, Susumu Nishimura, 2005 .

Deriving Event-Based Document Transformers from Tree-Based Specifications

Keisuke Nakano, Susumu Nishimura, 2001, Electron. Notes Theor. Comput. Sci..

Specific fluorescent labeling of 7-(aminomethyl)-7-deazaguanosine located in the anticodon of tRNATyr isolated from E. coli mutant

Shigeru Noguchi, Susumu Nishimura, Hiroaki Kasai, 1979, Nucleic Acids Res..

Integrating Different Versions of Programs with Backward and Forward Slicesa

Susumu Nishimura, 1996, Sci. Comput. Program..

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

Susumu Nishimura, 2003, APLAS.

Type Inference for First-Class Messages with Feature Constraints

Martin Müller, Susumu Nishimura, Martin Müller, 2000, Int. J. Found. Comput. Sci..

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables

Susumu Nishimura, 2013, CSL.

Type Inference for First-Class Messages with Feature Constraints

Martin Müller, Susumu Nishimura, Martin Müller, 2000, Int. J. Found. Comput. Sci..

A Calculus for Exploiting Data Parallelism on Recursively Defined Data

Atsushi Ohori, Susumu Nishimura, 1994, Theory and Practice of Parallel Programming.

Algebraic fusion of functions with an accumulating parameter and its improvement

Shin-ya Katsumata, Susumu Nishimura, 2008, J. Funct. Program..

Algebraic fusion of functions with an accumulating parameter and its improvement

Shin-ya Katsumata, Susumu Nishimura, 2006, ICFP '06.

Fusion with stacks and accumulating parameters

Susumu Nishimura, 2004, PEPM '04.