LEADER 05017nam 22006255 450 001 996465666503316 005 20200704224912.0 010 $a3-540-70642-9 024 7 $a10.1007/3-540-61629-2 035 $a(CKB)1000000000234510 035 $a(SSID)ssj0000326167 035 $a(PQKBManifestationID)11285626 035 $a(PQKBTitleCode)TC0000326167 035 $a(PQKBWorkID)10265905 035 $a(PQKB)10408838 035 $a(DE-He213)978-3-540-70642-7 035 $a(PPN)155192604 035 $a(EXLCZ)991000000000234510 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Trends in Data Type Specification$b[electronic resource] $e11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers /$fedited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (X, 558 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1130 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61629-2 327 $aSeven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification ? Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations -- Rewriting and reasoning with set-relations II: The non-ground case completeness -- Termination of curryfied rewrite systems -- Formal specifications and test: Correctness and oracle -- Behavioural equivalence, bisimulation, and minimal realisation -- Using limits of parchments to systematically construct institutions of partial algebras -- Behavioural specifications in type theory -- Swinging data types -- Context institutions -- Object-oriented functional programming and type reconstruction -- Moving between logical systems -- Modular algebraic specifications and the orientation of equations into rewrite rules -- A model for I/O in equational languages with don't care non-determinism -- Tool design for structuring mechanisms for algebraic specification languages with initial semantics. 330 $aThis book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1130 606 $aComputers 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.7/3 702 $aHaveraaen$b Magne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOwe$b Olaf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDahl$b Ole-Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Specification of Abstract Data Types 906 $aBOOK 912 $a996465666503316 996 $aRecent Trends in Data Type Specification$92829876 997 $aUNISA