Hidetaka Kondoh

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

Hidetaka Kondoh, Kokichi Futatsugi
To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60 (1) (2006)
Hidetaka Kondoh
Abstract Data Types Can Have Inequations1. Formal Aspects Comput. 14 (4) (2003)
Hidetaka Kondoh
What Is 'Mathematicalness' in Software Engineering? FASE (2000)
Hidetaka Kondoh
Basic Properties of Data Types with Inequational Refinements. TLCA (1995)