skip to content
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings Preview this item
ClosePreview this item
Checking...

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Author: Bernhard Möller
Publisher: Berlin ; New York : Springer, ©1995.
Series: Lecture notes in computer science, 947.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Bernhard Möller
ISBN: 3540601171 9783540601173
OCLC Number: 32821138
Description: viii, 472 pages ; 24 cm.
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.
Series Title: Lecture notes in computer science, 947.
Responsibility: Bernhard Möller, ed.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/32821138> # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "32821138" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856109963#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmation_mathematiques> ; # Programmation (mathématiques)
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/langage_formel> ; # langage formel
   schema:about <http://dewey.info/class/004.20151/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/logique> ; # logique
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/computerwiskunde> ; # Computerwiskunde
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/production_programme> ; # production programme
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/complexite> ; # complexité
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/mathematiques_discretes> ; # mathématiques discrètes
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/algorithmique> ; # algorithmique
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/specification_logiciel> ; # spécification logiciel
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/76568908> ; # Bernhard Möller
   schema:copyrightYear "1995" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3856109963#Meeting/mpc_95_1995_kloster_irsee> ; # MPC '95 (1995 : Kloster Irsee)
   schema:datePublished "1995" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3856109963> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856109963#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings"@en ;
   schema:productID "32821138" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/32821138#PublicationEvent/berlin_new_york_springer_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3856109963#Agent/springer> ; # Springer
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=947> ;
   schema:url <http://dx.doi.org/10.1007/3-540-60117-1> ;
   schema:url <http://swbplus.bsz-bw.de/bsz047127503cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540601173> ;
   umbel:isLike <http://d-nb.info/944624855> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/32821138> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/32821138> ; # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/mathematiques_discretes> # mathématiques discrètes
    a schema:Intangible ;
   schema:name "mathématiques discrètes"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/production_programme> # production programme
    a schema:Intangible ;
   schema:name "production programme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmation_mathematiques> # Programmation (mathématiques)
    a schema:Intangible ;
   schema:name "Programmation (mathématiques)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Topic/specification_logiciel> # spécification logiciel
    a schema:Intangible ;
   schema:name "spécification logiciel"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/76568908> # Bernhard Möller
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Möller" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Möller" ;
    .

<http://worldcat.org/isbn/9783540601173>
    a schema:ProductModel ;
   schema:isbn "3540601171" ;
   schema:isbn "9783540601173" ;
    .

<http://www.worldcat.org/title/-/oclc/32821138>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/32821138> ; # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.