RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986

種類:

電子ブック

責任表示:

edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986

著者名:

• Goto, Eiichi.
• Araki, Keijiro.
• Yuasa, Taiichi.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 220

ISBN:

9783540398097 [3540398090]    

注記:

A fast parallel merging algorithm for 2–3 trees -- Evaluation of graph representations with active nodes -- On equivalence transformations for term rewriting systems -- A portable logic simulation system for development of FLATS machine -- Partial computation with a dataflow machine -- OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog -- Incorporating Naïve Negation into Prolog -- Algebraic specification method of programming languages -- Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies — -- Global storage allocation in attribute evaluation -- On program transformation with tupling technique -- Evaluation of working set algorithms for data-flow machines -- Comparison of closure reduction and combinatory reduction schemes -- The BC-chain method for representing combinators in linear space -- Circuit simulation code generation by computer algebra -- List 1 Algebraic code for simple harmo

ローカル注記:

学内専用E-BOOKS (local access only)