Algorithmic languages and calculi : IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Front Matter....Pages i-viii Dynamic programming: a different perspective....Pages 1-23 Calculating With Pointer Structures....Pages 24-48 Deriving a systolic regular language recognizer....Pages 49-75 A Calculational Fusion System HYLO....Pages 76-106 Refinement of data parallel programs in PEI....Pages 107-131 Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons....Pages 132-163 Refinement of Parameterized Algebraic Specifications....Pages 164-186 Towards a Compositional Interpretation of Object Diagrams....Pages 187-211 Defining and Detecting Feature Interactions....Pages 212-239 Synthesising Interconnections....Pages 240-264 A Powerful Transformation Rule, its Applications and Variants....Pages 265-295 Program Derivation via List Introduction....Pages 296-323 Toward a calculus for abstract syntax trees....Pages 324-356 Principled strength reduction....Pages 357-381 The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus Subset....Pages 382-414 Predicative Semantics of Loops....Pages 415-440 Back Matter....Pages 441-443