LEADER 05051nam 22007695 450 001 996465662003316 005 20200703045222.0 010 $a3-540-68672-X 024 7 $a10.1007/3-540-61487-7 035 $a(CKB)1000000000234487 035 $a(SSID)ssj0000325342 035 $a(PQKBManifestationID)11251538 035 $a(PQKBTitleCode)TC0000325342 035 $a(PQKBWorkID)10323608 035 $a(PQKB)10000854 035 $a(DE-He213)978-3-540-68672-9 035 $a(PPN)155202537 035 $a(EXLCZ)991000000000234487 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aObject-Based Parallel and Distributed Computation$b[electronic resource] $eFrance-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers /$fedited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XI, 354 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1107 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61487-7 327 $aData parallel programming in the parallel object-oriented language OCore -- Polymorphic matrices in paladin -- Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL -- Schematic: A concurrent object-oriented extension to Scheme -- (Thread and Object)-Oriented Distributed Programming -- Distributed and object oriented symbolic programming in April -- Reactive programming in Eiffel// -- Proofs, concurrent objects and computations in a FILL framework -- Modular description and verification of concurrent objects -- CHORUS/COOL CHORUS Object oriented technology -- Adaptive operating system design using reflection -- Isatis: A customizable distributed object-based runtime system -- Lessons from designing and implementing GARF -- Design and implementation of DROL runtime environment on Real-Time Mach kernel -- ActNet: The actor model applied to mobile robotic environments -- Component-based programming and application management with olan -- The version management architecture of an object-oriented distributed systems environment: OZ++ -- Formal semantics of agent evolution in language flage. 330 $aThis book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995. The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1107 606 $aArchitecture, Computer 606 $aComputer programming 606 $aComputers 606 $aComputer communication systems 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aArchitecture, Computer. 615 0$aComputer programming. 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 14$aComputer System Implementation. 615 24$aProgramming Techniques. 615 24$aComputation by Abstract Devices. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 676 $a005.2 702 $aBriot$b Jean-Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGeib$b Jean-Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYonezawa$b Akinori$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFrance-Japan Workshop on Object-Based Parallel and Distributed Computation 906 $aBOOK 912 $a996465662003316 996 $aObject-Based Parallel and Distributed Computation$92830214 997 $aUNISA