عنوان

RIMS Symposia on Software Science and Engineering II :

شابک

3540164707

شابک

3540398090

شابک

9783540164708

شابک

9783540398097

شماره

b565992

عنوان اصلي

RIMS Symposia on Software Science and Engineering II :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

نام نخستين پديدآور

edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1986

نام خاص و کميت اثر

(323 pages).

عنوان فروست

Lecture notes in computer science, 220.

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

مستند نام اشخاص تاييد نشده

Eichi Goto

مستند نام اشخاص تاييد نشده

Keijiro Araki

مستند نام اشخاص تاييد نشده

T Yuasa

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y