Browsing by Author "Boehm, Hans-J."
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 ...
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 ...