Tools

LEADER 03275cam 22003978a 4500

001 ocm27813848;

003 OCoLC;

005 20141212100938.0;

008 930310s1993 gw a b 100 0 eng ;

010 a| 93016952;

020 a| 3540566252 :c| DM72.00;

020 a| 0387566252 (New York);

035 a| (Sirsi) o27813848;

035 a| (OCoLC)27813848;

049 a| EREE;

050 00 a| QA76.6b| .M367 1993;

082 00 a| 005.1/01/51132| 20;

245 00 a| Mathematics of program construction :b| second international conference, Oxford, U.K., June/July 1992 : proceedings /c| R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds.;

300 a| viii, 378 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| 669;

505 0 a| Extended calculus of constructions as a specification language / Rod Burstall -- On the economy of doing mathematics / Edsger W. Dijkstra -- Pretty-printing : an exercise in functional programming / John Hughes -- True concurrency : theory and practice / Ugo Montanari -- Programming for behaviour / Władysław M. Turski -- Calculating a path algorithm / Roland C. Backhouse and A.J.M. van Gasteren -- Solving optimization problems with catamorphisms / Richard S. Bird and Oege de Moor -- A time-interval calculus / S.M. Brien -- Conservative fixpoint functions on a graph / J.P.H.W. van den Eijnde -- An algebraic construction of predicate transformers / Paul Gardiner, Clare Martin and Oege de Moor -- Upwards and downwards accumulations on trees / Jeremy Gibbons -- Distributing a class of sequential programs / H. Peter Hofstee -- (Relational) programming laws in the boom hierarchy of types / Paul F. Hoogendijk.;

505 0 a| A logarithmic implementation of flexible arrays / Rob R. Hoogerwoord -- Designing arithmetic circuits by refinement in Ruby / Geraint Jones and Mary Sheeran -- An operational semantics for the guarded command language / Johan J. Lukkien -- Shorter paths to graph algorithms / Bernhard Möller and Martin Russling -- Logical specifications for functional programs / Theodore S. Norvell and Eric C.R. Hehner -- Inorder traversal of a binary heap and its inversion in optimal time and space / Berry Schoenmakers -- A calculus for predicative programming / Emil Sekerinski -- Derivation of a parallel matching algorithm / Yellamraju V. Srinivas -- Modular reasoning in an object-oriented refinement calculus / Mark Utting and Ken Robinson -- An alternative derivation of a binary heap construction function / Lex Augusteijn -- A derivation of Huffman's algorithm / Rob. R. Hoogerwoord.;

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

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

700 1 a| Bird, Richard,d| 1943-=| ^A676035;

700 1 a| Morgan, Carroll,d| 1952-=| ^A261416;

700 1 a| Woodcock, Jim.=| ^A318888;

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

596 a| 1;

998 a| 476814;

999 a| QA76.6 .M367 1993w| LCc| 1i| 30372007550616d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/6/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings / R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds.

Other author	Bird, Richard, 1943-
Other author	Morgan, Carroll, 1952-
Other author	Woodcock, Jim.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	viii, 378 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 669 Lecture notes in computer science 669. ^A466336
Contents	Extended calculus of constructions as a specification language / Rod Burstall -- On the economy of doing mathematics / Edsger W. Dijkstra -- Pretty-printing : an exercise in functional programming / John Hughes -- True concurrency : theory and practice / Ugo Montanari -- Programming for behaviour / Władysław M. Turski -- Calculating a path algorithm / Roland C. Backhouse and A.J.M. van Gasteren -- Solving optimization problems with catamorphisms / Richard S. Bird and Oege de Moor -- A time-interval calculus / S.M. Brien -- Conservative fixpoint functions on a graph / J.P.H.W. van den Eijnde -- An algebraic construction of predicate transformers / Paul Gardiner, Clare Martin and Oege de Moor -- Upwards and downwards accumulations on trees / Jeremy Gibbons -- Distributing a class of sequential programs / H. Peter Hofstee -- (Relational) programming laws in the boom hierarchy of types / Paul F. Hoogendijk.
Contents	A logarithmic implementation of flexible arrays / Rob R. Hoogerwoord -- Designing arithmetic circuits by refinement in Ruby / Geraint Jones and Mary Sheeran -- An operational semantics for the guarded command language / Johan J. Lukkien -- Shorter paths to graph algorithms / Bernhard Möller and Martin Russling -- Logical specifications for functional programs / Theodore S. Norvell and Eric C.R. Hehner -- Inorder traversal of a binary heap and its inversion in optimal time and space / Berry Schoenmakers -- A calculus for predicative programming / Emil Sekerinski -- Derivation of a parallel matching algorithm / Yellamraju V. Srinivas -- Modular reasoning in an object-oriented refinement calculus / Mark Utting and Ken Robinson -- An alternative derivation of a binary heap construction function / Lex Augusteijn -- A derivation of Huffman's algorithm / Rob. R. Hoogerwoord.
LCCN	93016952
ISBN	3540566252 :
ISBN	0387566252 (New York)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6 .M367 1993	✔ Available	Place Hold

Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings / R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds.

Click here for more information about this title

Availability