書誌情報	ファイル
表紙・目次    (1979-09)   数理解析研究所講究録, 363
Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)   YUASA, TAIICHI (1979-09)   数理解析研究所講究録, 363: 1-40
Some Analysis of PASCAL Programs (Mathematical Methods in Software Science and Engineering)   SHIMASAKI, MASAAKI; FUKAYA, SHIGERU (1979-09)   数理解析研究所講究録, 363: 41-58
Design and Implementation of a Multipass-Compiler Generator (Mathematical Methods in Software Science and Engineering)   SASSA, MASATAKA; TOKUDA, JUNKO; SHINOGI, TSUYOSHI; INOUE, KENZO (1979-09)   数理解析研究所講究録, 363: 59-99
On a Microcode Compiler Toward a Table Driven Firmware Generator (Mathematical Methods in Software Science and Engineering)   FUSAOKA, AKIRA; MIKAMI, KAZUYOSHI (1979-09)   数理解析研究所講究録, 363: 100-129
Logical Design of a 4NF D-Tree Schema of a Relational Data Base (Mathematical Methods in Software Science and Engineering)   TANAKA, YUZURU (1979-09)   数理解析研究所講究録, 363: 130-164
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases (Mathematical Methods in Software Science and Engineering)   FURUKAWA, KOICHI (1979-09)   数理解析研究所講究録, 363: 165-187
Associative Data Structures and Their Applications (Mathematical Methods in Software Science and Engineering)   SUZUKI, MASAYUKI; GOTO, EIICHI; INADA, NOBUYUKI (1979-09)   数理解析研究所講究録, 363: 188-217
Fast List-Copying Algorithms using Constant Workspace (Mathematical Methods in Software Science and Engineering)   HASEGAWA, HIROSHI (1979-09)   数理解析研究所講究録, 363: 218-246
Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)   HONDA, MICHIO; NAKAJIMA, REIJI (1979-09)   数理解析研究所講究録, 363: 247-277
On Semantic Generalization of Examples (Mathematical Methods in Software Science and Engineering)   HARAGUCHI, MAKOTO (1979-09)   数理解析研究所講究録, 363: 278-291