RIMS Symposium on Software Science and Engineering II
Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
Published on 1. May 1986
Book
Paperback/Softback
XIV, 330 pages
978-3-540-16470-8 (ISBN)
Description
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 harmonic motion.- List 2 Generated fortran code for simple harmonic motion.
More details
Series
Edition
1986 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XIV, 330 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
517 gr
ISBN-13
978-3-540-16470-8 (9783540164708)
DOI
10.1007/3-540-16470-7
Schweitzer Classification
Content
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 harmonic motion.- List 2 Generated fortran code for simple harmonic motion.