Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boiten, Eerke A, Möller, Bernhard
Format:	Buch
Sprache:	eng
Schlagworte:	Computation by Abstract Devices Computer programming Computer Science Congresses Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics Programming Languages, Compilers, Interpreters Software Engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0302-9743
DOI:	10.1007/3-540-45442-X