Mathematical methods in software science and engineering

著者

（数理解析研究所講究録, 363）

京都大学数理解析研究所, 1979.9

"R.I.M.S. Symposium on Mathematical Methods in Software Science and Engineering, May 10-12, 1979 / organizer, Reiji Nakajima"

Module-wise compilation for a language with type-parameterization mechanism / [湯浅太一]
Some analysis of PASCAL programs / [島崎眞昭, 深谷繁]
Design and implementation of a multipass-compiler generator / [佐々政孝, 徳田淳子, 篠木剛, 井上謙蔵]
On a microcode compiler toward a table driven firmware generator / [房岡璋, 三上和敬]
Logical design of a 4NF D-tree schema of a relational data base / [田中譲]
Relational strategies for processing universally quantified queries to large data bases / [古川康一]
Associative data structures and their applications / [鈴木正幸, 後藤英一, 稲田信幸]
Fast list-copying algorithms using constant workspace / [長谷川洋]
Interactive theorem proving on hierarchically and modularly structured sets of very many axioms / [本田道夫, 中島玲二]
On semantic generalization of examples / [原口誠]