HOOTS '99. Higher order operational techniques in semantics. Paris, France, September 30 and October 1, 1999 (Q1574781)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank}, On proving syntactic properties of CPS programs, 13 p., electronic only [Zbl 0958.68022] \textit{Minamide, Yasuhiko}, Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation, 16 p., electronic only [Zbl 0958.68042] \textit{Glew, Neal}, Object closure conversion, 17 p., electronic only [Zbl 0958.68041] \textit{Moggi, E.; Palumbo, F.}, Monadic encapsulation of effects: A revised approach, 18 p., electronic only [Zbl 0959.68024] \textit{Kakkar, Pankaj; Hicks, Michael; Moore, Jon; Gunter, Carl A.}, Specifying the PLAN network programming language, 18 p., electronic only [Zbl 0958.68103] \textit{Gustavsson, Jörgen; Sands, David}, A foundation for space-safe transformations of call-by-need programs, 18 p., electronic only [Zbl 0958.68039] \textit{Fiskio-Lasseter, John; Sabry, Amr}, Putting operational techniques to the test: A syntactic theory for behavioral Verilog, 18 p., electronic only [Zbl 0959.68020] \textit{Benton, Nick; Kennedy, Andrew}, Monads, effects and transformations, 18 p., electronic only [Zbl 0958.68046] \textit{Moran, Andrew; Lassen, Søren B.; Jones, Simon Peyton}, Imprecise exceptions, co-inductively, 20 p., electronic only [Zbl 0958.68040]