Susumu Nishimura - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2017

Schlegel Diagram and Optimizable Immediate Snapshot ProtocolSusumu Nishimura. opodis 2018: [doi]

2013

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared VariablesSusumu Nishimura. csl 2013: 578-596 [doi]

2011

Calculating tree navigation with symmetric relational zipperYuta Ikeda, Susumu Nishimura. PEPM 2011: 101-110 [doi]

2009

Refining Exceptions in Four-Valued LogicSusumu Nishimura. LOPSTR 2010: 113-127 [doi]

2008

Algebraic fusion of functions with an accumulating parameter and its improvementShin-ya Katsumata, Susumu Nishimura. JFP, 18(5-6):781-819, 2008. [doi]

Safe Modification of Pointer Programs in Refinement CalculusSusumu Nishimura. mpc 2008: 284-304 [doi]

2006

Algebraic fusion of functions with an accumulating parameter and its improvementShin-ya Katsumata, Susumu Nishimura. ICFP 2006: 227-238 [doi]

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation LogicSusumu Nishimura. amast 2006: 293-307 [doi]

2005

XML stream transformer generation through program composition and dependency analysisSusumu Nishimura, Keisuke Nakano. SCP, 54(2-3):257-290, 2005. [doi]

2004

Fusion with stacks and accumulating parametersSusumu Nishimura. PEPM 2004: 101-112 [doi]

2003

Correctness of a Higher-Order Removal Transformation through a Relational ReasoningSusumu Nishimura. aplas 2003: 358-375 [doi]

2002

Deforesting in Accumulating Parameters via Type-Directed TransformationsSusumu Nishimura. aplas 2002: 145-159

2001

Deriving Event-Based Document Transformers from Tree-Based SpecificationsKeisuke Nakano, Susumu Nishimura. ENTCS, 44(2):181-205, 2001. [doi]

2000

Type Inference for First-Class Messages with Feature ConstraintsMartin Müller, Susumu Nishimura. ijfcs, 11(1):29-63, 2000.

1999

Parallel Functional Programming on Recursively Defined Data via Data-Parallel RecursionSusumu Nishimura, Atsushi Ohori. JFP, 9(4):427-462, 1999.

1998

Type Inference for First-Class Messages with Feature ConstraintsMartin Müller, Susumu Nishimura. asian 1998: 169-187 [doi]

Static Typing for Dynamic MessagesSusumu Nishimura. POPL 1998: 266-278 [doi]

1997

A Strict Functional Language with Cyclic Recursive DataSusumu Nishimura. fac, 9(1):78-97, 1997.

1996

Integrating Different Versions of Programs with Backward and Forward SlicesaSusumu Nishimura. SCP, 27(1):1-35, 1996.

An Equational Object-Oriented Data Model and its Data-Parallel Query LanguageSusumu Nishimura, Atsushi Ohori, Keishi Tajima. OOPSLA 1996: 1-17

1994

A Calculus for Exploiting Data Parallelism on Recursively Defined DataSusumu Nishimura, Atsushi Ohori. tppp 1995: 413-432

Sign in or sign up to see more results.

runs on WebDSL