dblp.uni-trier.dewww.uni-trier.de

Hidetaka Kondoh

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEHidetaka Kondoh, Kokichi Futatsugi: To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60(1): 82-116 (2006)
2000
2EEHidetaka Kondoh: What Is `Mathematicalness' in Software Engineering? FASE 2000: 163-177
1995
1 Hidetaka Kondoh: Basic Properties of Data Types with Inequational Refinements. TLCA 1995: 279-296

Coauthor Index

1Kokichi Futatsugi [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)