Hidetaka Kondoh

According to our database¹, Hidetaka Kondoh authored at least 4 papers between 1995 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

To use or not to use the goto statement: Programming styles viewed from Hoare Logic.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

2003

Abstract Data Types Can Have Inequations1.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

2000

What Is 'Mathematicalness' in Software Engineering?

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1995

Basic Properties of Data Types with Inequational Refinements.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1995