Browsing LCS Technical Reports (1974 - 2003) by Author "Laventhal, Mark Steven"

Now showing items 1-2 of 2

    • Synthesis of Synchronization Code for Data Abstractions 

      Laventhal, Mark Steven (1978-07)
      Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a ...

    • Verification of Programs Operating on Structured Data 

      Laventhal, Mark Steven (1974-03)
      The major method for verifying the correctness of computer program is the inductive assertion approach. This approach has been limited in the past by the lack of techniques for handling data structures. In particular, ...