LEADER 04556nam 22007215 450 001 9910143504303321 005 20200630145431.0 010 $a3-540-69345-9 024 7 $a10.1007/BFb0054279 035 $a(CKB)1000000000210936 035 $a(SSID)ssj0000324707 035 $a(PQKBManifestationID)11245128 035 $a(PQKBTitleCode)TC0000324707 035 $a(PQKBWorkID)10320910 035 $a(PQKB)10237919 035 $a(DE-He213)978-3-540-69345-1 035 $a(PPN)155219103 035 $a(EXLCZ)991000000000210936 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction$b[electronic resource] $e4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /$fedited by Johan Jeuring 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (X, 388 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1422 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64591-8 327 $aOn the aesthetics of diagrams -- Generalising monads -- A proof rule for control loops -- Relation-algebraic derivation of spanning tree algorithms -- An application of program derivation techniques to 18th-century mathematics -- Nested datatypes -- An approach to object-orientation in action systems -- Layered graph traversals and Hamiltonian path problems ? An algebraic approach -- A unifying framework for correct program construction -- Computation calculus bridging a formalization gap -- An elementary derivation of the alternating bit protocol -- A set-theoretic model for real-time specification and reasoning -- Polytypic downwards accumulations -- Formal derivation of a loadable asynchronous counter -- A semantic approach to secure information flow -- Slack elasticity in concurrent computing -- Beyond fun: Order and membership in polytypic imperative programming -- Convergence of program transformers in the metric space of trees -- Realizability of monotone coinductive definitions and its application to program synthesis -- Calculating a round-robin scheduler. 330 $aThis book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1422 606 $aComputers 606 $aSoftware engineering 606 $aComputer programming 606 $aAlgorithms 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 676 $a004.2/1/0151 702 $aJeuring$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMPC '98 906 $aBOOK 912 $a9910143504303321 996 $aMathematics of Program Construction$9772229 997 $aUNINA