Search the dblp DataBase

Publications of Author

1. Yoshiki Kinoshita, John Power
   Data-Refinement for Call-By-Value Programming Languages. [Citation Graph (0, 0)][DBLP]
   CSL, 1999, pp:562-576 [Conf]
   
2. Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
   Workshop on Dependable Software - Tools and Methods - Workshop Abstract. [Citation Graph (0, 0)][DBLP]
   DSN, 2005, pp:824- [Conf]
   
3. Yoshiki Kinoshita, A. John Power
   A Fibrational Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:177-191 [Conf]
   
4. Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
   An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. [Citation Graph (0, 0)][DBLP]
   TACS, 1997, pp:191-212 [Conf]
   
5. Yoshiki Kinoshita, John Power
   A General Completeness Result in Refinement. [Citation Graph (0, 0)][DBLP]
   WADT, 1999, pp:201-218 [Conf]
   
6. Yoshiki Kinoshita, John Power
   Data Refinement and Algebraic Structure. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 2000, v:36, n:9/10, pp:693-719 [Journal]
   
7. Yoshiki Kinoshita, John Power, Makoto Takeyama
   Sketches. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
   
8. 
   Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. [Citation Graph (, )][DBLP]