書誌情報 | ファイル |
表紙・目次 (1985-01) 数理解析研究所講究録, 547
| |
TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering) Yonezawa, Akinori; Matsuda, Hiroyuki (1985-01) 数理解析研究所講究録, 547: 1-22
| |
Predicate/Transition Net Simulation based on Concurrent Prolog(Software Science and Engineering) Mizuba, Hideyo; Harath, Jayantha; Ueda, Kenji; Saito, Nobuo (1985-01) 数理解析研究所講究録, 547: 23-34
| |
NANO-2 : High-level Parallel Programming Language for Multiprocessor System HYPHEN(Software Science and Engineering) ARAKI, Keijiro; ARITA, Itsujiro; HIRABARU, Masaki (1985-01) 数理解析研究所講究録, 547: 35-57
| |
Algebraic Specification Method of Programming Languages(Software Science and Engineering) KITA, Hidehiko; SAKABE, Toshiki; INAGAKI, Yasuyoshi (1985-01) 数理解析研究所講究録, 547: 58-78
| |
MULTIVERSION CONCURRENCY CONTROL SCHEME FOR A DISTRIBUTED DATABASE SYSTEM(Software Science and Engineering) Muro, Shojiro; Mizutani, Tadashi; Hasegawa, Toshiharu (1985-01) 数理解析研究所講究録, 547: 79-111
| |
Global Storage Allocation in Attribute Evaluation(Software Science and Engineering) Katayama, Takuya; Sasaki, Hisashi (1985-01) 数理解析研究所講究録, 547: 112-127
| |
On Program Transformation with Tupling Technique(Software Science and Engineering) Koga, Akihiko (1985-01) 数理解析研究所講究録, 547: 128-155
| |
スーパーコンピュータとそのソフトウェア(ソフトウェア科学・工学の数理的方法) 安村, 通晃 (1985-01) 数理解析研究所講究録, 547: 156-172
| |
Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering) Sunahara, Hideki; Tokoro, Mario (1985-01) 数理解析研究所講究録, 547: 173-195
| |
Non-Strict Partial Computation with a Dataflow Machine(Software Science and Engineering) ONO, Satoshi; TAKAHASHI, Naohisa; AMAMIYA, Makoto (1985-01) 数理解析研究所講究録, 547: 196-229
| |
Comparison of closure reduction and combinatory reduction schemes(Software Science and Engineering) Ida, Tetsuo; Konagawa, Akihiko (1985-01) 数理解析研究所講究録, 547: 230-267
| |
The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering) Noshita, Kohei; Hikita, Teruo (1985-01) 数理解析研究所講究録, 547: 268-286
| |
Circuit Simulation Code Generation by Computer Algebra(Software Science and Engineering) Loe, K.G.F.; Ohsawa, N.; Goto, E. (1985-01) 数理解析研究所講究録, 547: 287-302
| |