عنوان

RIMS Symposia on Software Science and Engineering II :

(Number (ISBN

3540164707

(Number (ISBN

3540398090

(Number (ISBN

9783540164708

(Number (ISBN

9783540398097

Number

b565992

Title Proper

RIMS Symposia on Software Science and Engineering II :

General Material Designation

[Book]

Other Title Information

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

First Statement of Responsibility

edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1986

Specific Material Designation and Extent of Item

(323 pages).

Series Title

Lecture notes in computer science, 220.

Text of Note

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.

Computer science.

Programming languages (Electronic computers)

Software engineering.

Class number

Book number

edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

Eichi Goto

Keijiro Araki

T Yuasa

Electronic name

[Book]

Y