The Resource Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller
Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller
Resource Information
The item Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 Summary
 This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies
 Language
 eng
 Extent
 1 online resource
 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
 Computeraided computing / N. Shankar
 Derivation of parallel algorithms from functional specifications to CSP processes / A.E. Abdallah
 Architecture independent massive parallelization of divideandconquer 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 initialalgebra 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 breadthfirst 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
 Isbn
 9783540494454
 Label
 Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings
 Title
 Mathematics of Program Construction
 Title remainder
 Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings
 Statement of responsibility
 edited by Bernhard Möller
 Subject

 Combinatorial analysis
 Combinatorial analysis
 Computer Science
 Computer science
 Computer science
 Computer science
 Computer software
 Computer software
 Computer software
 Engineering & Applied Sciences
 Logic design
 Logic design
 Logic design
 Software engineering
 Software engineering
 Software engineering
 Combinatorial analysis
 Language
 eng
 Summary
 This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies
 Cataloging source
 KIJ
 Dewey number
 005.11
 Image bit depth
 0
 Index
 no index present
 LC call number
 QA76.6
 LC item number
 .M367 1995
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 1995
 http://bibfra.me/vocab/lite/meetingName
 MPC '95
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1953
 http://library.link/vocab/relatedWorkOrContributorName
 Möller, Bernhard
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 947
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Computer software
 Logic design
 Combinatorial analysis
 Combinatorial analysis
 Computer science
 Computer software
 Logic design
 Software engineering
 Computer Science
 Engineering & Applied Sciences
 Label
 Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller
 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  Computeraided computing / N. Shankar  Derivation of parallel algorithms from functional specifications to CSP processes / A.E. Abdallah  Architecture independent massive parallelization of divideandconquer 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 initialalgebra 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 breadthfirst 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/3540601171
 Other physical details
 volumes: digital.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)827358629
 Label
 Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller
 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  Computeraided computing / N. Shankar  Derivation of parallel algorithms from functional specifications to CSP processes / A.E. Abdallah  Architecture independent massive parallelization of divideandconquer 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 initialalgebra 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 breadthfirst 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/3540601171
 Other physical details
 volumes: digital.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)827358629
Subject
 Combinatorial analysis
 Combinatorial analysis
 Computer Science
 Computer science
 Computer science
 Computer science
 Computer software
 Computer software
 Computer software
 Engineering & Applied Sciences
 Logic design
 Logic design
 Logic design
 Software engineering
 Software engineering
 Software engineering
 Combinatorial analysis
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/MathematicsofProgramConstructionThird/IpGLl59UHzI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/MathematicsofProgramConstructionThird/IpGLl59UHzI/">Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/MathematicsofProgramConstructionThird/IpGLl59UHzI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/MathematicsofProgramConstructionThird/IpGLl59UHzI/">Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 1721, 1995 Proceedings, edited by Bernhard Möller</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>