Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007953198/catalog> ?p ?o. }

• catalog abstract "This 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.".
• catalog contributor b11026120.
• catalog contributor b11026121.
• catalog created "c1998.".
• catalog date "1998".
• catalog date "c1998.".
• catalog dateCopyrighted "c1998.".
• catalog description "Includes bibliographical references and index.".
• catalog description "On the aesthetics of diagrams / David Harel -- Generalising monads / John Hughes -- A proof rule for control loops / Burghard von Karger -- Relation-algebraic derivation of spanning tree algorithms / Rudolf Berghammer, Burghard von Karger, Andreas Wolf -- An application of program derviation techniques to 18th-century mathematics / A. Bijlsma -- Nested datatypes / Richard Bird, Lambert Meertens -- An approach to object-orientation in action systems / Marcello M. Bosangue, Joost N. Kok, Kaisa Sere -- Layered graph traversals and Hamiltonian path problems : an algebraic approach / Thomas Brunn, Bernhard Möller, Martin Russling -- A unifying framework for correct program construction / Henning Dierks, Michael Schenke -- Computation calculus : bridging a formalization gap / Rutger M. Dijkstra -- An elementary derivation of the alternating bit protocol / W.H.J. Feijen, A.J.M. van Gasteren, Birgit Schieder -- A set-theoretic model for real-time specification and reasoning / C.J. Fidge [and others] -- Polytypic downwards accumulations / Jeremy Gibbons -- Formal derivation of a loadable asynchronous counter / Mark B. Josephs -- A semantic approach to secure information flow / K. Rustan, M. Leino, Rajeev Joshi -- Slack elasticity in concurrent computing / Rajit Manohar, Alain J. Martin -- Beyond fun : order and membership in polytypic imperative programming / David A. Naumann -- Convergence of program transformers in the metric space of trees / Morten Heine B. Sørensen -- Realizability of monotone coinductive definitions and its application to program synthesis / Makoto Tatsuta -- Calculating a round-robin scheduler / Matteo Vaccari, Roland Backhouse.".
• catalog description "This 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.".
• catalog extent "x, 382 p. :".
• catalog identifier "3540645918 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1422".
• catalog issued "1998".
• catalog issued "c1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer Verlag,".
• catalog subject "004.2/1/0151 21".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer science Mathematics Congresses.".
• catalog subject "Computer science.".
• catalog subject "Computer software.".
• catalog subject "Logic design.".
• catalog subject "QA76.6 .I5535 1995".
• catalog subject "Software engineering.".
• catalog tableOfContents "On the aesthetics of diagrams / David Harel -- Generalising monads / John Hughes -- A proof rule for control loops / Burghard von Karger -- Relation-algebraic derivation of spanning tree algorithms / Rudolf Berghammer, Burghard von Karger, Andreas Wolf -- An application of program derviation techniques to 18th-century mathematics / A. Bijlsma -- Nested datatypes / Richard Bird, Lambert Meertens -- An approach to object-orientation in action systems / Marcello M. Bosangue, Joost N. Kok, Kaisa Sere -- Layered graph traversals and Hamiltonian path problems : an algebraic approach / Thomas Brunn, Bernhard Möller, Martin Russling -- A unifying framework for correct program construction / Henning Dierks, Michael Schenke -- Computation calculus : bridging a formalization gap / Rutger M. Dijkstra -- An elementary derivation of the alternating bit protocol / W.H.J. Feijen, A.J.M. van Gasteren, Birgit Schieder -- A set-theoretic model for real-time specification and reasoning / C.J. Fidge [and others] -- Polytypic downwards accumulations / Jeremy Gibbons -- Formal derivation of a loadable asynchronous counter / Mark B. Josephs -- A semantic approach to secure information flow / K. Rustan, M. Leino, Rajeev Joshi -- Slack elasticity in concurrent computing / Rajit Manohar, Alain J. Martin -- Beyond fun : order and membership in polytypic imperative programming / David A. Naumann -- Convergence of program transformers in the metric space of trees / Morten Heine B. Sørensen -- Realizability of monotone coinductive definitions and its application to program synthesis / Makoto Tatsuta -- Calculating a round-robin scheduler / Matteo Vaccari, Roland Backhouse.".
• catalog title "Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.".
• catalog type "Conference proceedings. fast".
• catalog type "text".