Travelled to:1 × Japan
1 × Uruguay
Collaborated with:∅ K.Ono Y.Tanabe N.Noda M.Hagiya
Talks about:waitfreedom (1) calculus (1) program (1) extract (1) dummett (1) specif (1) hadoop (1) captur (1) applic (1) reduc (1)
Person: Yoichi Hirai
DBLP: Hirai:Yoichi
Contributed to:
2012
2011Wrote 2 papers:
- FLOPS-2012-Hirai #logic #λ-calculus
- A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.
- SEFM-2011-OnoHTNH #coq #pipes and filters #specification #using
- Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications (KO, YH, YT, NN, MH), pp. 350–365.