skip to content
Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Preview this item
ClosePreview this item
Checking...

Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan.

Author: Eiichi Goto; Keijiro Araki; Yuasa Taiichi
Publisher: New York : Springer, June 1986.
Series: Lecture Notes in Computer Science Ser.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Eiichi Goto; Keijiro Araki; Yuasa Taiichi
ISBN: 9783540164708 3540164707
OCLC Number: 466105702
Description: 1 online resource (323 pages).
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 Naive 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.
Series Title: Lecture Notes in Computer Science Ser.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/466105702> # Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan.
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "466105702" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:bookFormat schema:EBook ;
   schema:datePublished "June 1986" ;
   schema:editor <http://viaf.org/viaf/34711096> ; # Keijiro Araki
   schema:editor <http://viaf.org/viaf/108197827> ; # Eiichi Goto
   schema:editor <http://viaf.org/viaf/93014320> ; # Yuasa Taiichi
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3768394807> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3768394807#Series/lecture_notes_in_computer_science_ser> ; # Lecture Notes in Computer Science Ser.
   schema:name "Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan."@en ;
   schema:productID "466105702" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/466105702#PublicationEvent/new_york_springer_june_1986> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3768394807#Agent/springer> ; # Springer
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-16470-7> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-16470-8> ;
   schema:url <http://link.springer.com/10.1007/3-540-16470-7> ;
   schema:url <http://dx.doi.org/10.1007/3-540-16470-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540164708> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/466105702> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768394807#Series/lecture_notes_in_computer_science_ser> # Lecture Notes in Computer Science Ser.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/466105702> ; # Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan.
   schema:name "Lecture Notes in Computer Science Ser." ;
    .

<http://link.springer.com/10.1007/3-540-16470-7>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108197827> # Eiichi Goto
    a schema:Person ;
   schema:familyName "Goto" ;
   schema:givenName "Eiichi" ;
   schema:name "Eiichi Goto" ;
    .

<http://viaf.org/viaf/34711096> # Keijiro Araki
    a schema:Person ;
   schema:familyName "Araki" ;
   schema:givenName "Keijiro" ;
   schema:name "Keijiro Araki" ;
    .

<http://viaf.org/viaf/93014320> # Yuasa Taiichi
    a schema:Person ;
   schema:familyName "Taiichi" ;
   schema:givenName "Yuasa" ;
   schema:name "Yuasa Taiichi" ;
    .

<http://worldcat.org/isbn/9783540164708>
    a schema:ProductModel ;
   schema:isbn "3540164707" ;
   schema:isbn "9783540164708" ;
    .

<http://www.worldcat.org/title/-/oclc/466105702>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/466105702> ; # Rims Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan.
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.