LEADER 04713nam 22006975 450 001 996465662403316 005 20200704102004.0 010 $a3-540-38416-2 024 7 $a10.1007/3-540-54496-8 035 $a(CKB)1000000000233707 035 $a(SSID)ssj0000326164 035 $a(PQKBManifestationID)11248954 035 $a(PQKBTitleCode)TC0000326164 035 $a(PQKBWorkID)10296309 035 $a(PQKB)10751190 035 $a(DE-He213)978-3-540-38416-8 035 $a(PPN)155168215 035 $a(EXLCZ)991000000000233707 100 $a20121227d1991 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] $e7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings /$fedited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (VIII, 384 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v534 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-387-54496-8 311 $a3-540-54496-8 327 $aADT implementation and completion by induction from examples -- An association of Algebraic term nets and abstract data types for specifying real communication protocols -- The specification language GSBL -- Composition of algebraic high-level nets -- A match operation for rule-based modular system design -- Towards object-oriented algebraic specifications -- Inductive completion for transformation of equational specifications -- A notion of implementation for the specification language OBSCURE -- Model-theoretic specifications and back-and-forth equivalences -- Universal algebra in higher types -- Clausal rewriting: Applications and implementation -- Constraints for behavioural specifications -- Entities: An institution for dynamic systems -- A 2-category approach to critical pair completion -- A kernel specification formalism with higher-order parameterisation -- Extended ML: Past, present and future -- Dependent types considered necessary for specification languages -- Generic types in a language for data directed design -- Design of a compiler for lazy pattern driven narrowing. 330 $aThe algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v534 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aSoftware engineering. 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a005.7/3 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJantke$b Klaus P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReichel$b Horst$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Specification of Abstract Data Types 906 $aBOOK 912 $a996465662403316 996 $aRecent Trends in Data Type Specification$92829876 997 $aUNISA