|
Search the dblp DataBase
Shin-ya Katsumata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Shin-ya Katsumata
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:87-102 [Conf]
- Shin-ya Katsumata, Atsushi Ohori
Proof-Directed De-compilation of Low-Level Code. [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:352-366 [Conf]
- Shin-ya Katsumata
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. [Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:831-845 [Conf]
- Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. [Citation Graph (0, 0)][DBLP] ICFP, 2006, pp:227-238 [Conf]
- Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella
Semantic and Syntactic Approaches to Simulation Relations. [Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:68-91 [Conf]
- Shin-ya Katsumata
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:284-298 [Conf]
- Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
Comparing Type-Based and Proof-Directed Decompilation. [Citation Graph (0, 0)][DBLP] WCRE, 2001, pp:362-367 [Conf]
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. [Citation Graph (, )][DBLP]
Attribute Grammars and Categorical Semantics. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|