𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automatic analysis of work programs

✍ Scribed by N. B. Malyshev; T. N. Smirnova

Publisher
Springer US
Year
1978
Tongue
English
Weight
639 KB
Volume
10
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A flexible program for automatic analysi
A flexible program for automatic analysis of stability of slopes
✍ J.B. Martins; E. Maranha; F.A. Melo πŸ“‚ Article πŸ“… 1969 πŸ› Elsevier Science 🌐 English βš– 489 KB

The paper describes a program for automatic analysis of the stability of slopes of any kind, (land slopes, earth dams, embankments, quay walls, etc.) by the Swedish method. Two factors of safety are obtained, one according to the usual calculationratio of the resistance to the overturning moment, t

As Time Goes By II: More Automatic Compl
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
✍ Thom FrΓΌhwirth πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 339 KB

In previous papers we showed that from a suitable termination order (called ranking) one can automatically compute the worst-case time complexity of a CHR constraint simplification rule program from its program text. We combined the worst-case derivation length of a query predicted from its ranking