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