LCS Publication Details
Publication Title: PROPOSITIONAL DYNAMIC LOGICS OF PROGRAMS: A SURVEY
Publication Author: Parikh, Rohit
Additional Authors:
LCS Document Number: MIT-LCS-TM-191
Publication Date: 1-1-1981
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
The use of logic in program verification is an old idea, as such ideas go. Early work by Engeler, Floyd, Hoare and Salwicki [E,F,Ho,Sa2] has already developed into a rich field with many workers. However the propositional versions of these logics are relatively new; work in this field goes back only to Fischer and Ladner's 1977 paper where they showed that the propositional version of Pratt's dynamic logic is decidable.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.