✦ LIBER ✦

A Free Construction of Dynamic Terms

✍ Scribed by Egidio Astesiano; Elena Zucca

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 561 KB
Volume: 52
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.1996.0011

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we show that it is possible to extend in a natural way to the dynamic case some basic results of the classical approach to (static) data types. Within an appropriate framework of dynamic structures (called d-oids), which play the same role as algebras in the static case, we define a language of dynamic terms, also enjoying the property of unique canonical representation; moreover, dynamic terms constitute a free structure whenever the static terms in the underlying static framework are so. As a main application of the above construction, we get a rather elegant kernel language for recursive definitions of dynamic derived operations, which parallels the well-known McCarthy's schema for a kernel applicative language. This kernel language can be seen also as a metalanguage for expressing the semantics of concrete (e.g., imperative or object-based) languages.

📜 SIMILAR VOLUMES

A Computer-Free Construction of J4

✍ A.A Ivanov; U Meierfrankenfeld 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Define a finite simple group J to be of J -type or simply J provided that J 4 4 contains an involution z with C z ; 2 1q 12 3 Aut Mat . Ž . ## J q 22 The purpose of this paper is to give the first computer-free construction of a group of J type. In addition, we achieve yet another uniqueness pro

A methodology for the construction of te

A methodology for the construction of term classes

✍ Clement T. Yu 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 521 KB

A construction for locally free sheaves

✍ G. Horrocks 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Can a Dynamic Contact Angle Be Understoo

Can a Dynamic Contact Angle Be Understood in Terms of a Friction Coefficient?

✍ Ahmed Hamraoui; Krister Thuresson; Tommy Nylander; Vassili Yaminsky 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 143 KB

The kinetics of capillary rise of pure water and ethanol as well as mixtures thereof that under static conditions wet glass capillaries has been studied by a high-speed imaging technique. To adequately describe the experimental data, a rate-dependent dynamic contact angle must be added to the Washbu

Direct observation of the molecular Zeem

Direct observation of the molecular Zeeman terms in a free radical

✍ W. Hüttner 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 386 KB

It is shown that 'Jle small molecular contributions to the magnetic-field interaction of a free radical may be obtained directly by magic-doublet rotational Zeeman-effect measurements. Experimental standards normally employed in diamagnetic-molecule work are wholly adequate.

A Computer-Free Construction of the Thir

A Computer-Free Construction of the Third Group of Janko

✍ Barbara Baumeister 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 356 KB

We give a new constructive computer-free existence proof of the third group of Ž . Janko, J , using the 9-dimensional unitary representation of 3 J over GF 4 . 3 3 Thereby we embed the C .c-geometries for 3 J and J into the 9-dimensional 2 3 3 unitary space and the 9-dimensional projective space, re