Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings, edited by Bernhard Möller

Resource Information

The instance Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings, edited by Bernhard Möller represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540494454&Type=L

Label

Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings, edited by Bernhard Möller

Title remainder

Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings

Statement of responsibility

edited by Bernhard Möller

Instantiates

• Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Bibliography note

Includes bibliographical references

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

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 [and others] -- 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. Jü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

Control code

827358629

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540494454

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/3-540-60117-1

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b13011232x

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827358629