skip to content
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings Preview this item
ClosePreview this item
Checking...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Author: David HutchisonPhilippe AudebaudTakeo KanadeJosef KittlerJon M KleinbergAll authors
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series: Lecture notes in computer science, 5133.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Philippe Audebaud; Takeo Kanade; Josef Kittler; Jon M Kleinberg; Friedemann Mattern; John C Mitchell; Moni Naor; Oscar Nierstrasz; C Pandu Rangan; Christine Paulin-Mohring; Bernhard Steffen; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y Vardi; Gerhard Weikum
ISBN: 9783540705949 3540705945
OCLC Number: 246898865
Description: 1 online resource (: v.: digital.
Contents: Exploiting Unique Fixed Points --
Scrap Your Type Applications --
Programming with Effects in Coq --
Verifying a Semantic??-Conversion Test for Martin-Löf Type Theory --
The Capacity-C Torch Problem --
Recounting the Rationals: Twice! --
Zippy Tabulations of Recursive Functions --
Unfolding Abstract Datatypes --
Circulations, Fuzzy Relations and Semirings --
Asynchronous Exceptions as an Effect --
The Böhm-Jacopini Theorem Is False, Propositionally --
The Expression Lemma --
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening --
Probabilistic Choice in Refinement Algebra --
Algebra of Programming Using Dependent Types --
Safe Modification of Pointer Programs in Refinement Calculus --
A Hoare Logic for Call-by-Value Functional Programs --
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems --
Modal Semirings Revisited --
Asymptotic Improvement of Computations over Free Monads --
Symmetric and Synchronous Communication in Peer-to-Peer Networks.
Series Title: Lecture notes in computer science, 5133.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Philippe Audebaud, Christine Paulin-Mohring.

Abstract:

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. Topics of special interest  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/246898865> # Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "246898865" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/374026415#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://dewey.info/class/005.1015113/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
    schema:contributor <http://viaf.org/viaf/162245894> ; # Gerhard Weikum
    schema:contributor <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
    schema:contributor <http://viaf.org/viaf/57063007> ; # Bernhard Steffen
    schema:contributor <http://viaf.org/viaf/32249261> ; # Oscar Nierstrasz
    schema:contributor <http://viaf.org/viaf/61636213> ; # Takeo Kanade
    schema:contributor <http://viaf.org/viaf/58291480> ; # John C. Mitchell
    schema:contributor <http://viaf.org/viaf/10004382> ; # Demetri Terzopoulos
    schema:contributor <http://viaf.org/viaf/32154680> ; # Madhu Sudan
    schema:contributor <http://viaf.org/viaf/67527661> ; # Moni Naor
    schema:contributor <http://viaf.org/viaf/114470255> ; # Friedemann Mattern
    schema:contributor <http://viaf.org/viaf/80301030> ; # Philippe Audebaud
    schema:contributor <http://viaf.org/viaf/42887943> ; # Moshe Y. Vardi
    schema:contributor <http://viaf.org/viaf/85212989> ; # C. Pandu Rangan
    schema:contributor <http://viaf.org/viaf/7513198> ; # Christine Paulin-Mohring
    schema:contributor <http://viaf.org/viaf/41918393> ; # Josef Kittler
    schema:creator <http://experiment.worldcat.org/entity/work/data/374026415#Person/hutchison_david> ; # David Hutchison
    schema:datePublished "2008" ;
    schema:description "This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics."@en ;
    schema:description "Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq -- Verifying a Semantic??-Conversion Test for Martin-Löf Type Theory -- The Capacity-C Torch Problem -- Recounting the Rationals: Twice! -- Zippy Tabulations of Recursive Functions -- Unfolding Abstract Datatypes -- Circulations, Fuzzy Relations and Semirings -- Asynchronous Exceptions as an Effect -- The Böhm-Jacopini Theorem Is False, Propositionally -- The Expression Lemma -- Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types -- Safe Modification of Pointer Programs in Refinement Calculus -- A Hoare Logic for Call-by-Value Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems -- Modal Semirings Revisited -- Asymptotic Improvement of Computations over Free Monads -- Symmetric and Synchronous Communication in Peer-to-Peer Networks."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/374026415> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/374026415#CreativeWork/> ;
    schema:name "Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings"@en ;
    schema:productID "246898865" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246898865#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/374026415#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
    schema:url <http://swbplus.bsz-bw.de/bsz285794426cov.htm> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-70593-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-70593-2> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3068467> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3068467> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://link.springer.com/10.1007/978-3-540-70594-9> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/978-3-540-70594-9> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-70594-9> ;
    schema:url <http://site.ebrary.com/id/10532840> ;
    schema:workExample <http://worldcat.org/isbn/9783540705949> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-540-70594-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246898865> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/374026415#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/374026415#Person/hutchison_david> # David Hutchison
    a schema:Person ;
    schema:familyName "Hutchison" ;
    schema:givenName "David" ;
    schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/374026415#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

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

<http://viaf.org/viaf/10004382> # Demetri Terzopoulos
    a schema:Person ;
    schema:familyName "Terzopoulos" ;
    schema:givenName "Demetri" ;
    schema:name "Demetri Terzopoulos" ;
    .

<http://viaf.org/viaf/114470255> # Friedemann Mattern
    a schema:Person ;
    schema:familyName "Mattern" ;
    schema:givenName "Friedemann" ;
    schema:name "Friedemann Mattern" ;
    .

<http://viaf.org/viaf/162245894> # Gerhard Weikum
    a schema:Person ;
    schema:familyName "Weikum" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Weikum" ;
    .

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
    schema:familyName "Kleinberg" ;
    schema:givenName "Jon M." ;
    schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
    schema:familyName "Sudan" ;
    schema:givenName "Madhu" ;
    schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/32249261> # Oscar Nierstrasz
    a schema:Person ;
    schema:familyName "Nierstrasz" ;
    schema:givenName "Oscar" ;
    schema:name "Oscar Nierstrasz" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
    schema:familyName "Tygar" ;
    schema:givenName "Doug" ;
    schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/41918393> # Josef Kittler
    a schema:Person ;
    schema:familyName "Kittler" ;
    schema:givenName "Josef" ;
    schema:name "Josef Kittler" ;
    .

<http://viaf.org/viaf/42887943> # Moshe Y. Vardi
    a schema:Person ;
    schema:familyName "Vardi" ;
    schema:givenName "Moshe Y." ;
    schema:name "Moshe Y. Vardi" ;
    .

<http://viaf.org/viaf/57063007> # Bernhard Steffen
    a schema:Person ;
    schema:familyName "Steffen" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Steffen" ;
    .

<http://viaf.org/viaf/58291480> # John C. Mitchell
    a schema:Person ;
    schema:familyName "Mitchell" ;
    schema:givenName "John C." ;
    schema:name "John C. Mitchell" ;
    .

<http://viaf.org/viaf/61636213> # Takeo Kanade
    a schema:Person ;
    schema:familyName "Kanade" ;
    schema:givenName "Takeo" ;
    schema:name "Takeo Kanade" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
    schema:familyName "Naor" ;
    schema:givenName "Moni" ;
    schema:name "Moni Naor" ;
    .

<http://viaf.org/viaf/7513198> # Christine Paulin-Mohring
    a schema:Person ;
    schema:familyName "Paulin-Mohring" ;
    schema:givenName "Christine" ;
    schema:name "Christine Paulin-Mohring" ;
    .

<http://viaf.org/viaf/80301030> # Philippe Audebaud
    a schema:Person ;
    schema:familyName "Audebaud" ;
    schema:givenName "Philippe" ;
    schema:name "Philippe Audebaud" ;
    .

<http://viaf.org/viaf/85212989> # C. Pandu Rangan
    a schema:Person ;
    schema:familyName "Pandu Rangan" ;
    schema:givenName "C." ;
    schema:name "C. Pandu Rangan" ;
    .

<http://worldcat.org/entity/work/data/374026415#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/246898865> ; # Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
    .

<http://worldcat.org/isbn/9783540705949>
    a schema:ProductModel ;
    schema:isbn "3540705945" ;
    schema:isbn "9783540705949" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246898865> ; # Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/246898865>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/246898865> ; # Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
    schema:dateModified "2018-12-07" ;
    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.