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

researchr

You are not signed in
Sign in
Sign up

Eerke Boiten, Bernhard Möller, editors, Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Volume 2386 of Lecture Notes in Computer Science, Springer, 2002.

Conference: mpc2002

Abstract is missing.

Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming ParadigmRobert Giegerich, Peter Steffen. 1-20 [doi]

Some Results in Dynamic Model TheoryDexter Kozen. 21 [doi]

Mathematics in Computer Science CurriculaJeannette M. Wing. 22 [doi]

Logical Relations and Galois ConnectionsKevin Backhouse, Roland Carl Backhouse. 23-39 [doi]

Transformational Derivation of Greedy Network Algorithms from Descriptive SpecificationsJuan Eduardo Durán. 40-67 [doi]

Fine Control of Demand in HaskellWilliam L. Harrison, Tim Sheard, James Hook. 68-93 [doi]

Reasoning about TimeoutsIan J. Hayes. 94-116 [doi]

Eternity Variables to Simulate SpecificationsWim H. Hesselink. 117-130 [doi]

Constructing Tournament Representations: An Exercise in Pointwise Relational ProgrammingRalf Hinze. 131-147 [doi]

Type-Indexed Data TypesRalf Hinze, Johan Jeuring, Andres Löh. 148-174 [doi]

Verification of Java s AbstractCollection Class: A Case StudyMarieke Huisman. 175-194 [doi]

Solving Regular Path QueriesYanhong A. Liu, Fuxiang Yu. 195-208 [doi]

Inverting Functions as FoldsShin-Cheng Mu, Richard S. Bird. 209-232 [doi]

From Kleene Algebra to Refinement AlgebraJoakim von Wright. 233-262 [doi]

runs on WebDSL