Static checking of variable handling in Dijkstra's Guarded Commands language

Bailes P.A. (1986) Static checking of variable handling in Dijkstra's Guarded Commands language. Computer Languages, 11 3-4: 123-142. doi:10.1016/0096-0551(86)90006-8


Author Bailes P.A.
Title Static checking of variable handling in Dijkstra's Guarded Commands language
Journal name Computer Languages   Check publisher's open access policy
ISSN 0096-0551
Publication date 1986-01-01
Sub-type Article (original research)
DOI 10.1016/0096-0551(86)90006-8
Volume 11
Issue 3-4
Start page 123
End page 142
Total pages 20
Subject 1700 Computer Science
Abstract A procedure to check that the correct basic relationships hold between visibility, initialisation, use and update of vairables in Dijkstra's Guarded Commands language, from static analysis of program text, is motivated, presented and verified. To simplify the presentation and verification, an abstracted language for the static analysis, together with a mapping from the concrete syntax, of Dijkstra's language is introduced. A precise statement of the objectives of the checking procedure precedes a specification of the procedure's principal data structure. Then follows the procedure itself, and a detailed outline of its verification according to the stated objectives. A number of interesting developments of this work are foreshadowed.
Keyword Dijkstra
Guarded commands
Static checking
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 14 Jun 2016, 16:08:09 EST by System User