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 × Cyprus
1 × Sweden
1 × The Netherlands
1 × United Kingdom
Collaborated with:
R.Glück M.Takeichi K.Tanaka-Ishii Y.Futamura A.Kühnemann T.Murakami Z.Hu
Talks about:
accumul (3) program (2) algorithm (1) function (1) feedback (1) deforest (1) paramet (1) analysi (1) system (1) report (1)

Person: Kazuhiko Kakehi

DBLP DBLP: Kakehi:Kazuhiko

Contributed to:

ITiCSE 20042004
LOPSTR 20032003
LOPSTR 20012001
RTA 20012001

Wrote 4 papers:

ITiCSE-2004-Tanaka-IshiiKT #feedback #named #programming #verification
EMMA: a web-based report system for programming course--automated verification and enhanced feedback (KTI, KK, MT), p. 278.
LOPSTR-2003-MurakamiHKT #algorithm #analysis #performance #staging
An Efficient Staging Algorithm for Binding-Time Analysis (TM, ZH, KK, MT), pp. 106–107.
LOPSTR-2001-KakehiGF #deforestation #on the #parametricity
On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
RTA-2001-KuhnemannGK #cumulative #functional #source code
Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
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.