Coverart for item
The Resource Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings, Roland Backhouse, José Nuno Oliveira (eds.)

Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings, Roland Backhouse, José Nuno Oliveira (eds.)

Label
Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Title
Mathematics of Program Construction
Title remainder
5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Statement of responsibility
Roland Backhouse, José Nuno Oliveira (eds.)
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view
Member of
Cataloging source
DKDLA
Dewey number
004.2/1/0151
Index
index present
LC call number
QA76.6
LC item number
I5535 2000eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
International Conference on the Mathematics of Program Construction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1948-
http://library.link/vocab/relatedWorkOrContributorName
  • Backhouse, Roland C.
  • Oliveira, José N.
Series statement
Lecture notes in computer science,
Series volume
1837
http://library.link/vocab/subjectName
  • Computer programming
  • Computer science
  • Programming Techniques
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Programming Languages, Compilers, Interpreters
  • Computer programming
  • Computer science
Label
Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings, Roland Backhouse, José Nuno Oliveira (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Integrating Programming, Properties, and Validation -- Polytypic Values Possess Polykinded Types -- The Zip Calculus -- Separation and Reduction -- Reasoning about Non-terminating Loops Using Deadline Commands -- Quantum Programming -- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series -- Proving Pointer Programs in Hoare Logic -- On Guarded Commands with Fair Choice -- Formal Methods and Dependability -- Liberating Data Refinement -- Theorems about Composition -- The Universal Resolving Algorithm: Inverse Computation in a Functional Language -- Metacomputation-Based Compiler Architecture -- A Metalanguage for Programming with Bound Names Modulo Renaming
Control code
769772839
Extent
1 online resource (vii, 255 pages).
Form of item
online
Isbn
9783540450252
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10722010
Specific material designation
remote
System control number
(OCoLC)769772839
Label
Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings, Roland Backhouse, José Nuno Oliveira (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Integrating Programming, Properties, and Validation -- Polytypic Values Possess Polykinded Types -- The Zip Calculus -- Separation and Reduction -- Reasoning about Non-terminating Loops Using Deadline Commands -- Quantum Programming -- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series -- Proving Pointer Programs in Hoare Logic -- On Guarded Commands with Fair Choice -- Formal Methods and Dependability -- Liberating Data Refinement -- Theorems about Composition -- The Universal Resolving Algorithm: Inverse Computation in a Functional Language -- Metacomputation-Based Compiler Architecture -- A Metalanguage for Programming with Bound Names Modulo Renaming
Control code
769772839
Extent
1 online resource (vii, 255 pages).
Form of item
online
Isbn
9783540450252
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10722010
Specific material designation
remote
System control number
(OCoLC)769772839

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...