LEADER 04170oam 2200589 450 001 9910143451003321 005 20210715084505.0 010 $a3-540-48483-3 024 7 $a10.1007/3-540-48483-3 035 $a(CKB)1000000000211113 035 $a(SSID)ssj0000326163 035 $a(PQKBManifestationID)11213126 035 $a(PQKBTitleCode)TC0000326163 035 $a(PQKBWorkID)10296193 035 $a(PQKB)10161268 035 $a(DE-He213)978-3-540-48483-7 035 $a(MiAaPQ)EBC3072424 035 $a(MiAaPQ)EBC6486004 035 $a(PPN)155168649 035 $a(EXLCZ)991000000000211113 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aRecent trends in algebraic development techniques $e13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers /$fJose Luis Fiadeiro (ed.) 205 $a1st ed. 1999. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (X, 346 p.) 225 1 $aLecture Notes in Computer Science ;$v1589 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66246-4 320 $aIncludes bibliographical references and index. 327 $aAn Algebraic Framework for Separate Type-Checking -- Moving Specification Structures Between Logical Systems -- Normal Forms for Partitions and Relations -- Parameterisation of Logics -- Semantic Constructions for Hidden Algebra -- Functorial Semantics for Multi-algebras -- An Algebra of Graph Derivations Using Finite (co?) Limit Double Theories -- Hierarchical Heterogeneous Specifications -- Parallel Admissible Graph Rewriting -- Refinements and Modules for Typed Graph Transformation Systems -- Complete Strategies for Term Graph Narrowing -- Non-deterministic Computations in ELAN -- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics -- Translating OBJ3 into CASL: The Institution Level -- Casl: A Guided Tour of Its Design -- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets -- Using Reflection to Specify Transaction Sequences in Rewriting Logic -- Concurrency and Data Types: A Specification Method An Example with LOTOS -- The Situation and State Calculus versus Branching Temporal Logic -- Modular Specification of Concurrent Systems with Observational Logic -- Proof Normalization of Structured Algebraic Specifications Is Convergent. 330 $aThe European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT?95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS?98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials. 410 0$aLecture notes in computer science ;$v1589. 606 $aAbstract data types (Computer science)$vCongresses 606 $aComputer science$xMathematics$vCongresses 615 0$aAbstract data types (Computer science) 615 0$aComputer science$xMathematics 676 $a005.73 702 $aFiadeiro$b Jose Luis 712 12$aWADT '98 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a9910143451003321 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNINA