| Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings 2002 Edition Contributor(s): Boiten, Eerke A. (Editor), Möller, Bernhard (Editor) |
|
 |
ISBN: 3540438572 ISBN-13: 9783540438571 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 2002 Annotation: This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Medical - Computers | Logic Design |
| Dewey: 005.1 |
| LCCN: 2002075461 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.59" H x 6.14" W x 9.21" (0.87 lbs) 263 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness, enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse, including programmingmethodology, programspeci?cationand transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference.Eachpaperwasrefereedbyatleastfour, andoftenmore, committee members. Inadditiontothe11papersselectedforpresentationbytheprogramcomm- tee, this volume contains three invited talks: Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm by Robert Giegerich (Technical University of Bielefeld, Germany), and abstracts of Some Results in Dynamic Model Theory by Dexter Kozen (Cornell Univ- sity, USA)and Mathematics in Computer Science Curricula byJeannetteWing (Carnegie Mellon University, USA). The conference took place in Dagstuhl, Germany. The previous ?ve conf- ences wereheld in 1989in Twente, The Netherlands, in 1992in Oxford, United Kingdom, in1995inKlosterIrsee, Germany, in1998inMarstrandnearGot ] eborg in Sweden, and in 2000 in Ponte de Lima, Portugal. The proceedings of these conferenceswerepublishedasLNCS375,669,947,1422, and1837, respectively. Three international events were co-located with the conference: the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference. |