Collection home page

Software Science and Engineering   14
(http://hdl.handle.net/2433/98092)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1985-01)
  数理解析研究所講究録, 547
file type icon
TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
  Yonezawa, Akinori, Matsuda, Hiroyuki (1985-01)
  数理解析研究所講究録, 547: 1-22
file type icon
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
file type icon
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
file type icon
Algebraic Specification Method of Programming Languages(Software Science and Engineering)
  KITA, Hidehiko, SAKABE, Toshiki, INAGAKI, Yasuyoshi (1985-01)
  数理解析研究所講究録, 547: 58-78
file type icon
MULTIVERSION CONCURRENCY CONTROL SCHEME FOR A DISTRIBUTED DATABASE SYSTEM(Software Science and Engineering)
  Muro, Shojiro, Mizutani, Tadashi, Hasegawa, Toshiharu (1985-01)
  数理解析研究所講究録, 547: 79-111
file type icon
Global Storage Allocation in Attribute Evaluation(Software Science and Engineering)
  Katayama, Takuya, Sasaki, Hisashi (1985-01)
  数理解析研究所講究録, 547: 112-127
file type icon
On Program Transformation with Tupling Technique(Software Science and Engineering)
  Koga, Akihiko (1985-01)
  数理解析研究所講究録, 547: 128-155
file type icon
スーパーコンピュータとそのソフトウェア(ソフトウェア科学・工学の数理的方法)
  安村, 通晃 (1985-01)
  数理解析研究所講究録, 547: 156-172
file type icon
Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering)
  Sunahara, Hideki, Tokoro, Mario (1985-01)
  数理解析研究所講究録, 547: 173-195
file type icon
Non-Strict Partial Computation with a Dataflow Machine(Software Science and Engineering)
  ONO, Satoshi, TAKAHASHI, Naohisa, AMAMIYA, Makoto (1985-01)
  数理解析研究所講究録, 547: 196-229
file type icon
Comparison of closure reduction and combinatory reduction schemes(Software Science and Engineering)
  Ida, Tetsuo, Konagawa, Akihiko (1985-01)
  数理解析研究所講究録, 547: 230-267
file type icon
The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering)
  Noshita, Kohei, Hikita, Teruo (1985-01)
  数理解析研究所講究録, 547: 268-286
file type icon
Circuit Simulation Code Generation by Computer Algebra(Software Science and Engineering)
  Loe, K.G.F., Ohsawa, N., Goto, E. (1985-01)
  数理解析研究所講究録, 547: 287-302
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14