A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Yonezawa Akinori

  Dept. Of Information Science Faculty Of Science The University Of Tokyo

• YONEZAWA AKINORI

  Dept. of Information Science, Tokyo Institute of Technology

関連論文

• A Method for Synthesizing Data Retrieving Programs
• A Comparison of Parallel α-β Search Algorithms
• A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference)
• Specifying Software Systems with High Internal Concurrency Based on Actor Formalism

スポンサーリンク