Information-flow and data-flow analysis of while-programs

Until recently, information-flow analysis has been used primarily to verify that information transmission between program variables cannot violate security requirements. Here, the notion of information flow is explored as an aid to program development and validation. Information-flow relations are p...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1985-01, Vol.7 (1), p.37-61
Hauptverfasser:	Bergeretti, Jean-Francois, Carré, Bernard A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Assertion checking Assertions Computer science control theory systems Designing software Development frameworks and environments Exact sciences and technology Functional verification Hardware Hardware validation Information systems Information systems applications Program reasoning Semantics and reasoning Software Software and its engineering Software creation and management Software defect analysis Software design techniques Software development process management Software engineering Software implementation planning Software notations and tools Software testing and debugging Software verification and validation Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!