 | 2005 |
|---|
| 7 |       | Takuya Katayama,
Yutaka Ishikawa,
Yoshiki Kinoshita:
Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
DSN 2005: 824 |
| 2000 |
|---|
| 6 | | Yoshiki Kinoshita,
John Power:
Data Refinement and Algebraic Structure.
Acta Inf. 36(9/10): 693-719 (2000) |
| 1999 |
|---|
| 5 | | Yoshiki Kinoshita,
John Power:
Data-Refinement for Call-By-Value Programming Languages.
CSL 1999: 562-576 |
| 4 |  | Yoshiki Kinoshita,
John Power:
A General Completeness Result in Refinement.
WADT 1999: 201-218 |
| 1997 |
|---|
| 3 | | 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.
TACS 1997: 191-212 |
| 2 | | Yoshiki Kinoshita,
John Power,
Makoto Takeyama:
Sketches.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1996 |
|---|
| 1 | | Yoshiki Kinoshita,
A. John Power:
A Fibrational Semantics for Logic Programs.
ELP 1996: 177-191 |
