書誌情報 | ファイル |
表紙・目次 (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
| |