๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The clean termination of Pascal programs

โœ Scribed by D. Coleman; J. W. Hughes


Publisher
Springer-Verlag
Year
1979
Tongue
English
Weight
752 KB
Volume
11
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The programming language PASCAL
โœ John Wakerly ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 710 KB
The programming language PASCAL
โœ John Wakerly ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 542 KB
Termination of well-moded programs
โœ S. Etalle; A. Bossi; N. Cocco ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1001 KB

We study the termination properties of well-moded programs, and we show thz, t. under suitable conditions, for these programs there exists an algebraic characteriza zion -in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd ted.), Proceedings of the Simposium in Com