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 LEADER 01698oam 2200445M 450 001 9910716317603321 005 20200213070630.9 035 $a(CKB)5470000002520963 035 $a(OCoLC)1066022948 035 $a(OCoLC)995470000002520963 035 $a(EXLCZ)995470000002520963 100 $a20071213d1926 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aClaims for damages arising from operation of the Army. February 26, 1926. -- Committed to the Committee of the Whole House and ordered to be printed 210 1$a[Washington, D.C.] :$c[U.S. Government Printing Office],$d1926. 215 $a1 online resource (4 pages) 225 1 $aHouse report / 69th Congress, 1st session. House ;$vno. 391 225 1 $a[United States congressional serial set ] ;$v[serial no. 8535] 300 $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aFDLP item number not assigned. 606 $aGovernment liability (International law) 606 $aClaims 608 $aLegislative materials.$2lcgft 615 0$aGovernment liability (International law) 615 0$aClaims. 701 $aSwoope$b William Irvin$f1862-1930$pRepublican (PA)$01386180 801 0$bWYU 801 1$bWYU 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9910716317603321 996 $aClaims for damages arising from operation of the Army. February 26, 1926. -- Committed to the Committee of the Whole House and ordered to be printed$93486941 997 $aUNINA