Now showing items 1-3 of 3

    • An Informal Description of Russell 

      Boehm, Hans-J.; Demers, Alan J.; Donahue, James E. (Cornell University, 1980-09)
    • A Logic for Expressions with Side Effects 

      Boehm, Hans-J. (Cornell University, 1981-11)
      This paper presents a simple programming logic LES, which is particularly well suited for reasoning about so-called expression languages, i.e. languages that incorporate imperative features into expressions rather than ...
    • A Logic for the Russell Programming Language 

      Boehm, Hans-J. (Cornell University, 1984-02)
      We consider a programming language with a number of characteristics detrimental to conventional axiomatic descriptions. These include arbitrary side effects in expressions, aliasing among variables, very general recursive ...