Keywords:
Computer science
;
Software engineering
;
Compilers (Computer programs).
;
Computation by Abstract Devices
;
Computer Science
;
Programming Languages, Compilers, Interpreters
;
Software Engineering
;
Konferenzschrift
Description / Table of 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.
Type of Medium:
Online Resource
Pages:
Online-Ressource (X, 323 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540398097
Series Statement:
Lecture notes in computer science 220
URL:
http://www.springerlink.com/content/wr2v84404wl6
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-16470-8
URL:
http://dx.doi.org/10.1007/3-540-16470-7
URL:
https://doi.org/10.1007/3-540-16470-7
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DEAGI104F2.pdf
DOI:
10.1007/3-540-16470-7
Language:
English
Note:
Literaturangaben
Permalink