Susumu Nishimura

According to our database, Susumu Nishimura authored at least 23 papers between 1979 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability.

Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura

CoRR, 2023

2022

Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus.

Susumu Nishimura

CoRR, 2022

2020

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

Koki Yagi, Susumu Nishimura

CoRR, 2020

2017

Schlegel Diagram and Optimizable Immediate Snapshot Protocol.

Susumu Nishimura

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

2013

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

Susumu Nishimura

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2011

Calculating tree navigation with symmetric relational zipper.

Yuta Ikeda, Susumu Nishimura

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2009

Refining Exceptions in Four-Valued Logic.

Susumu Nishimura

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Algebraic fusion of functions with an accumulating parameter and its improvement.

Shin-ya Katsumata, Susumu Nishimura

J. Funct. Program., 2008

Safe Modification of Pointer Programs in Refinement Calculus.

Susumu Nishimura

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2006

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

Susumu Nishimura

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

XML stream transformer generation through program composition and dependency analysis.

Susumu Nishimura, Keisuke Nakano

Sci. Comput. Program., 2005

2004

Fusion with stacks and accumulating parameters.

Susumu Nishimura

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003

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

Susumu Nishimura

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Deforesting in Accumulating Parameters via Type-Directed Transformations.

Susumu Nishimura

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Deriving Event-Based Document Transformers from Tree-Based Specifications.

Keisuke Nakano, Susumu Nishimura

Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

2000

Type Inference for First-Class Messages with Feature Constraints.

Martin Müller, Susumu Nishimura

Int. J. Found. Comput. Sci., 2000

1999

Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.

Susumu Nishimura, Atsushi Ohori

J. Funct. Program., 1999

1998

Static Typing for Dynamic Messages.

Susumu Nishimura

Proceedings of the POPL '98, 1998

1997

A Strict Functional Language with Cyclic Recursive Data.

Susumu Nishimura

Formal Aspects Comput., 1997

1996

Integrating Different Versions of Programs with Backward and Forward Slicesa.

Susumu Nishimura

Sci. Comput. Program., 1996

An Equational Object-Oriented Data Model and its Data-Parallel Query Language.

Susumu Nishimura, Atsushi Ohori, Keishi Tajima

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1994

A Calculus for Exploiting Data Parallelism on Recursively Defined Data.

Susumu Nishimura, Atsushi Ohori

Proceedings of the Theory and Practice of Parallel Programming, 1994

1979

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

Hiroaki Kasai, Nobuko Shindo-Okada, Shigeru Noguchi, Susumu Nishimura

Nucleic Acids Res., 1979