BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
2 × Italy
4 × USA
Collaborated with:
∅ Y.Ikeda S.Katsumata K.Nakano A.Ohori K.Tajima
Talks about:
parallel (2) paramet (2) accumul (2) fusion (2) tree (2) data (2) base (2) transform (1) synchron (1) function (1)

Person: Susumu Nishimura

DBLP DBLP: Nishimura:Susumu

Contributed to:

CSL 20132013
PEPM 20112011
LOPSTR 20092009
ICFP 20062006
PEPM 20042004
LDTA 20012001
POPL 19981998
OOPSLA 19961996

Wrote 8 papers:

CSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
PEPM-2011-IkedaN #navigation #relational #symmetry
Calculating tree navigation with symmetric relational zipper (YI, SN), pp. 101–110.
LOPSTR-2009-Nishimura #exception #logic
Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.
ICFP-2006-KatsumataN #algebra #parametricity
Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
PEPM-2004-Nishimura #parametricity
Fusion with stacks and accumulating parameters (SN), pp. 101–112.
LDTA-2001-NakanoN #documentation #specification
Deriving Event-Based Document Transformers from Tree-Based Specifications (KN, SN), pp. 181–205.
POPL-1998-Nishimura #static typing #type system
Static Typing for Dynamic Messages (SN), pp. 266–278.
OOPSLA-1996-NishimuraOT #equation #object-oriented #query
An Equational Object-Oriented Data Model and its Data-Parallel Query Language (SN, AO, KT), pp. 1–17.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.