|
" RIMS Symposia on Software Science and Engineering II : "
edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746043
|
| Doc. No
|
:
|
b565992
|
| Main Entry
|
:
|
edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
|
| Title & Author
|
:
|
RIMS Symposia on Software Science and Engineering II : : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan\ edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1986
|
| Series Statement
|
:
|
Lecture notes in computer science, 220.
|
| Page. NO
|
:
|
(323 pages).
|
| ISBN
|
:
|
3540164707
|
|
|
:
|
: 3540398090
|
|
|
:
|
: 9783540164708
|
|
|
:
|
: 9783540398097
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Programming languages (Electronic computers)
|
| Subject
|
:
|
Software engineering.
|
| LC Classification
|
:
|
QA76.6E358 1986
|
| Added Entry
|
:
|
Eichi Goto
|
|
|
:
|
Keijiro Araki
|
|
|
:
|
T Yuasa
|
| |