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

Using program dependence graphs for information flow control

โœ Scribed by C.Samuel Hsieh; Elizabeth A. Unger; Ramon A. Mata-Toledo

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
772 KB
Volume
17
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Semantic configuration management model
Semantic configuration management model using a path dependence flow graph
โœ Kuniaki Naoi; Naohisa Takahashi ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 181 KB ๐Ÿ‘ 1 views

If a program is not executed as expected, we say that a semantic error has occurred in the program. As is well known, semantic errors sometimes appear in a program because the modification intention was not correctly reflected in the new configuration. In order to avoid as many semantic errors as po

Type dependencies for logic programs usi
Type dependencies for logic programs using ACI-unification
โœ Michael Codish; Vitaly Lagoon ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 197 KB

This paper presents a new notion of typing for logic programs which generalizes the notion of directional types. The generation of type dependencies for a logic program is fully automatic with respect to a given domain of types. The analysis method is based on a novel combination of program abstract