Susumu Nishimura

Available identifiers

zbMath Open nishimura.susumuMaRDI QIDQ703584

List of research outcomes

Publication	Date of Publication	Type
Schlegel Diagram and Optimizable Immediate Snapshot Protocol	2020-07-30	Paper
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables	2017-02-02	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement	2015-08-03	Paper
Refining Exceptions in Four-Valued Logic	2010-05-04	Paper
Programming Languages and Systems	2010-01-05	Paper
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic	2009-04-28	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement	2008-12-18	Paper
Safe Modification of Pointer Programs in Refinement Calculus	2008-08-28	Paper
XML stream transformer generation through program composition and dependency analysis	2005-01-11	Paper
Parallel functional programming on recursively defined data via data-parallel recursion	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4703045	1999-12-14	Paper
A strict functional language with cyclic recursive data	1997-05-28	Paper
Integrating different versions of programs with backward and forward slices	1996-11-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Susumu Nishimura