There is a need for empirical evaluation of programming languages for unskilled users, but it is more effective to compare specific features common to many languages than to compare complete languages. This can be done by devising micro-languages stressing the feature of interest, together with a su
On Stop-Conditions in the Definitions of Constructive Languages
✍ Scribed by Ivan Friš
- Publisher
- John Wiley and Sons
- Year
- 1965
- Tongue
- English
- Weight
- 646 KB
- Volume
- 11
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
A concept of stability of quasi-static paths is discussed in this paper that takes into account the existence of fast (dynamic) and slow (quasi-static) time scales in the evolution of many mechanical systems. The proposed concept is essentially a continuity property with respect to the smallness of
Let \(Q(\sqrt{-m})\left(m>0\right.\) and square free) be an imaginary quadratic field and \(D_{m}\) its ring of integers. It is proved that if any given natural numbers \(n\) and square-free \(m\) satisfying the condition \(m \equiv 1(\bmod 4)\) and \(4 \mid n\), or \(m \equiv 2(\bmod 4)\) and \(2 \
We construct compactly supported wavelet bases satisfying homogeneous boundary conditions on the interval [0, 1]. The maximum features of multiresolution analysis on the line are retained, including polynomial approximation and tree algorithms. The case of H 1 0 ([0, 1]) is detailed and numerical va
The different types of gauge transformations in gauge theory are discerned and defined in fiber bundle terms. The gauge gravitation case is analysed in order to examine various versions of the gauge gravitation theory. ## Zur Dofinition von Eichtransformationen in Eichtheorien Inhal tsu bersicht.