Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.)3540164707, 9783540164708
Table of contents :
A fast parallel merging algorithm for 2–3 trees….Pages 1-16
Evaluation of graph representations with active nodes….Pages 17-43
On equivalence transformations for term rewriting systems….Pages 44-61
A portable logic simulation system for development of FLATS machine….Pages 62-86
Partial computation with a dataflow machine….Pages 87-113
OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog….Pages 114-129
Incorporating Naïve Negation into Prolog….Pages 130-143
Algebraic specification method of programming languages….Pages 144-157
Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —….Pages 158-180
Global storage allocation in attribute evaluation….Pages 181-211
On program transformation with tupling technique….Pages 212-232
Evaluation of working set algorithms for data-flow machines….Pages 233-260
Comparison of closure reduction and combinatory reduction schemes….Pages 261-291
The BC-chain method for representing combinators in linear space….Pages 292-306
Circuit simulation code generation by computer algebra….Pages 307-320
List 1 Algebraic code for simple harmonic motion….Pages 321-322
List 2 Generated fortran code for simple harmonic motion….Pages 323-323
Reviews
There are no reviews yet.