Titlebook: Mathematics of Program Construction; 375th Anniversary of J. L. A. Snepscheut Conference proceedings 1989 Springer-Verlag Berlin Heidelberg

CURT

Wim H. Hesselinklutions with small amplitudes are unstable..When the Floquet exponents at criticality are complex and rationally independent of the fixed frequency, the solution of the spectral problem is quasi-periodic. The formal construction then gives the natural frequency of the bifurcating solution as a power

considerable

剛開始

Anne Kaldewaij,Berry Schoenmakerslutions with small amplitudes are unstable..When the Floquet exponents at criticality are complex and rationally independent of the fixed frequency, the solution of the spectral problem is quasi-periodic. The formal construction then gives the natural frequency of the bifurcating solution as a power

Highbrow

cacophony

L. D. J. C. Loyens,R. H. Bisselinglutions with small amplitudes are unstable..When the Floquet exponents at criticality are complex and rationally independent of the fixed frequency, the solution of the spectral problem is quasi-periodic. The formal construction then gives the natural frequency of the bifurcating solution as a power

四指套

0302-9743 ditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi978-3-540-51305-6978-3-540-46191-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

一致性

Initialisation with a final value, an exercise in program transformation,

Detain

土坯

Termination is timing,Termination is treated as a special case of timing, with the result that the logic of programming is simplified and generalized.

指令

Towards a calculus of data refinement,In this paper we lay a foundation for a calculus of data refinement. We introduce the concept of conditional data refinement which enables us to incorporate contextual information in a refinement step. We give a number of its properties and show in several examples how data refinement can be used in practice.