LEADER 05780nam 22007695 450 001 996466079803316 005 20200707025401.0 010 $a3-540-47613-X 024 7 $a10.1007/3-540-56625-2 035 $a(CKB)1000000000233951 035 $a(SSID)ssj0000324705 035 $a(PQKBManifestationID)11245127 035 $a(PQKBTitleCode)TC0000324705 035 $a(PQKBWorkID)10315232 035 $a(PQKB)11528140 035 $a(DE-He213)978-3-540-47613-9 035 $a(PPN)15521876X 035 $a(EXLCZ)991000000000233951 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction$b[electronic resource] $eSecond International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings /$fedited by Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (VIII, 380 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v669 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56625-2 327 $aExtended calculus of constructions as a specification language -- On the economy of doing Mathematics -- Pretty-printing: An exercise in functional programming -- True concurrency: Theory and practice -- Programming for behaviour -- Calculating a path algorithm -- Solving optimisation problems with catamorphisms -- A time-interval calculus -- Conservative fixpoint functions on a graph -- An algebraic construction of predicate transformers -- Upwards and downwards accumulations on trees -- Distributing a class of sequential programs -- (Relational) programming laws in the boom hierarchy of types -- A logarithmic implementation of flexible arrays -- Designing arithmetic circuits by refinement in Ruby -- An operational semantics for the guarded command language -- Shorter paths to graph algorithms -- Logical specifications for functional programs -- Inorder traversal of a binary heap and its inversion in optimal time and space -- A calculus for predicative programming -- Derivation of a parallel matching algorithm -- Modular reasoning in an object-oriented refinement calculus -- An alternative derivation of a binary heap construction function -- A derivation of Huffman's algorithm. 330 $aNot very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real industrial applications. Thus, there is not only a belief, but also evidence, that the study of computer programs as mathematical objects leads to more efficient methods for constructing them. The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, June 29 - July 3, 1992. The conference was organized by the Oxford University Programming Research Group, and continued the theme set by the first - the use of crisp, clear mathematics in the discovery and design of algorithms. The second conference gives evidence of the ever-widening impact of precise mathematical methods in program development. There are papers applying mathematics not only to sequential programs but also to parallel and on-current applications, real-time and reactive systems, and to designs realised directly in hardware. The volume includes 5 invited papers and 19 contributed papers. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v669 606 $aSoftware engineering 606 $aComputers 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aComputer programming 606 $aAlgorithms 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 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 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aComputer programming. 615 0$aAlgorithms. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aApplications of Mathematics. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a005.1/01/5113 702 $aBird$b Richard S$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMorgan$b C.Carroll$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWoodcock$b James C.P$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on the Mathematics of Program Construction$d(2nd :$f1992 :$eSt. Catherine's College) 906 $aBOOK 912 $a996466079803316 996 $aMathematics of Program Construction$9772229 997 $aUNISA