Coverart for item
The Resource Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings, Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings, Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)

Label
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings
Title
Mathematics of program construction
Title remainder
10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings
Statement of responsibility
Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Qu?♭bec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics
Member of
Cataloging source
GW5XE
Dewey number
005.10151
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.M63 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
MPC 2010
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 76.6
http://library.link/vocab/relatedWorkOrContributorName
  • Bolduc, Claude
  • Desharnais, Jules
  • Ktari, Béchir
Series statement
Lecture notes in computer science,
Series volume
6120
http://library.link/vocab/subjectName
  • Computer programming
  • Computer programs
  • Software
  • Mathematics
  • Informatique
  • Computer logic
  • Computer programming
  • Computer science
  • Immunology
  • Logic, Symbolic and mathematical
  • Software engineering
  • Softwareentwicklung
  • Mathematische Methode
  • Québec <2010>
Label
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings, Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement
Control code
654395875
Dimensions
unknown
Extent
1 online resource (x, 425 pages)
Form of item
online
Isbn
9783642133213
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-13321-3
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-13320-6
Specific material designation
remote
System control number
(OCoLC)654395875
Label
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings, Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement
Control code
654395875
Dimensions
unknown
Extent
1 online resource (x, 425 pages)
Form of item
online
Isbn
9783642133213
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-13321-3
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-13320-6
Specific material designation
remote
System control number
(OCoLC)654395875

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...