Tools

LEADER 03266cam 2200397 a 4500

001 ocm39170035;

003 OCoLC;

005 20141212130626.0;

008 980519s1998 gw a b 101 0 eng ;

010 a| 98025680;

015 a| GB98-48573;

019 a| 39443010;

020 a| 3540645918 (softcover : alk. paper);

035 a| (Sirsi) o39170035;

035 a| (OCoLC)39170035;

049 a| EREE;

050 00 a| QA76.6b| .I5535 1998;

082 00 a| 004.2/1/01512| 21;

111 2 a| International Conference on the Mathematics of Program Constructionn| (4th :d| 1998 :c| Marstrand, Sweden)?| UNAUTHORIZED;

245 10 a| Mathematics of program construction :b| 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings /c| Johan Jeuring, ed.;

300 a| x, 382 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1422;

504 a| Includes bibliographical references and index.;

505 0 a| 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 Mö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 ... [et al.] -- 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.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

700 1 a| Jeuring, Johan,d| 1965-=| ^A370970;

830 0 a| Lecture notes in computer sciencev| 1422.=| ^A466336;

596 a| 1;

998 a| 641298;

999 a| QA76.6 .I5535 1998w| LCc| 1i| 30372010274857d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $49.56r| Ys| Yt| JGESBKu| 1/21/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.

Author/creator	International Conference on the Mathematics of Program Construction
Other author	Jeuring, Johan, 1965-
Format	Book
Publication Info	Berlin ; New York : Springer Verlag, ©1998.
Description	x, 382 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 1422 Lecture notes in computer science 1422. ^A466336
Contents	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 Mö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 ... [et al.] -- 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.
Bibliography note	Includes bibliographical references and index.
LCCN	98025680
ISBN	3540645918 (softcover : alk. paper)

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.

Click here for more information about this title