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

LEVY

IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/a/image/152962.jpg

Optimum

Bedeutungsvielfalt von AugenblickenBased on the algebra of relations and maps we present some techniques for safe manipulation of pointer structures, with a special emphasis on tree-like structures. We investigate sufficient criteria for preservation of substructures under selective updating. The approach is illustrated with some simple examples.

運氣

Calculating With Pointer Structures,Based on the algebra of relations and maps we present some techniques for safe manipulation of pointer structures, with a special emphasis on tree-like structures. We investigate sufficient criteria for preservation of substructures under selective updating. The approach is illustrated with some simple examples.

緩和

insomnia

Pander

A Powerful Transformation Rule, its Applications and Variants,functional implementations. The power of the rule is illustrated by several examples, among them a Prolog interpreter. Also, variants of the rule for specifications involving existential quantification and arbitrary choice are presented and illustrated by representative examples.

隱士

1868-4238 of this working conference is to present the results ofongoing research, descriptions of existing and proposed systems, andapplications to the production of practical software.978-0-387-35264-0Series ISSN 1868-4238 Series E-ISSN 1868-422X

同位素

Book 1997The general theme of this conference is notations, methods, andtool support for the calculation of programs from specifications. Thepurpose of this working conference is to present the results ofongoing research, descriptions of existing and proposed systems, andapplications to the production of practical software.

無法取消

積極詞匯

IFIP International Federation for Information Processing 1997