Now showing items 10-12 of 12

    • Safety Without Stuttering 

      Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. (Cornell University, 1985-10)
      A new formalization of safety properties is given. The formalization agrees with the informal definition - that a safety property stipulates that some "bad thing" doesn't happen during execution - for properties that are ...
    • Some Comments on Functional Self-Reducibility and the NP Hierarchy 

      Borodin, Allan B.; Demers, Alan J. (Cornell University, 1976-07)
      In Valiant [11] and Schnorr [9], concepts of "functional self-reducibility" are introduced and investigated. We concentrate on the class NP and on the NP hierarchy of Meyer and Stockmeyer [7] to further investigate these ...
    • Sublinear-Space Evaluation Algorithms for Attribute Grammars 

      Reps, Thomas; Demers, Alan J. (Cornell University, 1984-08)
      The chief hindrance to the widespread adoption of attribute-grammar-based systems has been that they are profligate consumers of storage. This paper concerns new storage management techniques that reduce the amount of ...