Tools

LEADER 03359cam 2200349 a 4500

005 20141212121532.0;

008 950622s1995 gw b 100 0 eng ;

010 a| 95032984;

020 a| 3540601171 (Berlin : softcover : acid-free paper);

035 a| (Sirsi) o32821138;

035 a| (OCoLC)32821138;

049 a| EREE;

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

082 00 a| 004.2/01512| 20;

111 2 a| International Conference on the Mathematics of Program Constructiond| (1995 :c| Kloster Irsee, Germany)?| UNAUTHORIZED;

245 10 a| Mathematics of program construction :b| third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /c| Bernhard Möller, ed.;

300 a| viii, 472 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references.;

505 0 a| Towards automatic parallelization of logic programs / K.R. Apt -- Functional algorithm design / R.S. Bird -- Mathematics of software engineering / M. Broy -- Program construction in intuitionistic type theory / T. Coquand -- Computer-aided computing / N. Shankar -- Derivation of parallel algorithms from functional specifications to CSP processes / A.E. Abdallah -- Architecture independent massive parallelization of divide-and-conquer algorithms / K. Achatz, W. Schulte -- Exploring summation and product operators in the refinement calculus / R.-J.R. Back, M. Butler -- An action system specification of the Caltech asynchronous microprocessor / R.-J.R. Back, A.J. Martin, K. Sere -- Formal derivation of CSP programs from temporal specifications / R. Berghammer, B. von Karger -- A compositional proof system for asynchronously communicating processes / F.S. de Boer, M. van Hulst -- A graphical calculus / S. Curtis, G. Lowe -- A simple, efficient, and flexible implementation of flexible arrays / V.J. Dielissen, A. Kaldewaij -- Induction and recursion on datatypes / H. Doornbos, R. Backhouse -- Program construction by parts / M. Frappier, A. Mili, J. Desharnais -- An initial-algebra approach to directed acrylic graphs / J. Gibbons -- Algebraic proof assistants in HOL / R. Groenboom ... [et al.] -- Angelic termination in Dijkstra's calculus / W.H. Hesselink -- Extracting programs with exceptions in an impredicative type system / J.-F. Monin -- Synthesising proofs from programs in the calculus of inductive constructions / C. Parent -- A general scheme for breadth-first graph traversal / M. Russling -- SPECWARE : formal support for composing software / Y.V. Srinivas, R. Jüllig -- A refinement relation supporting the transition from unbounded to bounded communication buffers / K. Stølen -- ImpUNITY : UNITY with procedures and local variables / R.T. Udink, J.N. Kok.;

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

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

700 1 a| Möller, Bernhard,d| 1953-=| ^A347898;

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

596 a| 1;

998 a| 594264;

999 a| QA76.6 .I5535 1995w| LCc| 1i| 30372009417996d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/16/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed.

Author/creator	International Conference on the Mathematics of Program Construction
Other author	Möller, Bernhard, 1953-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1995.
Description	viii, 472 pages ; 24 cm.
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 947 Lecture notes in computer science 947. ^A466336
Contents	Towards automatic parallelization of logic programs / K.R. Apt -- Functional algorithm design / R.S. Bird -- Mathematics of software engineering / M. Broy -- Program construction in intuitionistic type theory / T. Coquand -- Computer-aided computing / N. Shankar -- Derivation of parallel algorithms from functional specifications to CSP processes / A.E. Abdallah -- Architecture independent massive parallelization of divide-and-conquer algorithms / K. Achatz, W. Schulte -- Exploring summation and product operators in the refinement calculus / R.-J.R. Back, M. Butler -- An action system specification of the Caltech asynchronous microprocessor / R.-J.R. Back, A.J. Martin, K. Sere -- Formal derivation of CSP programs from temporal specifications / R. Berghammer, B. von Karger -- A compositional proof system for asynchronously communicating processes / F.S. de Boer, M. van Hulst -- A graphical calculus / S. Curtis, G. Lowe -- A simple, efficient, and flexible implementation of flexible arrays / V.J. Dielissen, A. Kaldewaij -- Induction and recursion on datatypes / H. Doornbos, R. Backhouse -- Program construction by parts / M. Frappier, A. Mili, J. Desharnais -- An initial-algebra approach to directed acrylic graphs / J. Gibbons -- Algebraic proof assistants in HOL / R. Groenboom ... [et al.] -- Angelic termination in Dijkstra's calculus / W.H. Hesselink -- Extracting programs with exceptions in an impredicative type system / J.-F. Monin -- Synthesising proofs from programs in the calculus of inductive constructions / C. Parent -- A general scheme for breadth-first graph traversal / M. Russling -- SPECWARE : formal support for composing software / Y.V. Srinivas, R. Jüllig -- A refinement relation supporting the transition from unbounded to bounded communication buffers / K. Stølen -- ImpUNITY : UNITY with procedures and local variables / R.T. Udink, J.N. Kok.
Bibliography note	Includes bibliographical references.
LCCN	95032984
ISBN	3540601171 (Berlin : softcover : acid-free paper)

Availability

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

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed.

Click here for more information about this title

Availability