Titlebook: Algorithimic Languages and Calculi; Richard S. Bird,Lambert Meertens Book 1997 IFIP International Federation for Information Processing 19

珊瑚

Dysarthria

Augenblicke. Wegmarken im Fluss der Zeit First we derive non-systolic recognizers, much in the same way as functional programs are derived. Then we make use of standard circuit transformation techniques, recast in the relation algebra framework, to obtain circuits that are very close to the ones presented by Foster and Kung.

完全

Alfred Bellebaum,Robert Hettlagedesign and implementation of an automatic transformation system HYLO which performs fusion transformation in a more systematic and more general way than any other systems. The distinguished point of our system is its . feature based on simple application of transformation laws rather than traditional search-based transformations.

无关紧要

Spezielle Pathologie des Augenhintergrundes,ction types. Assuming a few relatively weak axioms about parameterized specifications, refinement is shown to satisfy the expected properties for software development in-the-large: independent refinement of body and parameter, and closure under sequential composition, instantiation and a suitable form of ‘horizontal’ composition.

边缘

https://doi.org/10.1007/978-3-662-29181-8ation is given as the conjunction (lattice operator meet) of the features; a feature interaction is detected when the meet of the features does not exist. Examples of detection are given using logic programming.*