WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999 (Q1574966)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Vanhoof, Wim; Bruynooghe, Maurice}, Towards modular binding-time analysis for first-order Mercury, 10 p., electronic only [Zbl 0958.68034] \textit{Gavanelli, Marco; Milano, Michela}, On the need for a different backtracking rule when dealing with late evaluation, 12 p., electronic only [Zbl 0959.68018] \textit{Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio}, Rules and strategies for contextual specialization of constraint logic programs, 16 p., electronic only [Zbl 0959.68019] \textit{Ueda, Kazunori}, Linearity analysis of concurrent logic programs, 1 p., electronic only [Zbl 0958.68030] \textit{Puebla, G.; Hermenegildo, M.}, Some issues in analysis and specialization of modular Ciao-Prolog programs, 25 p., electronic only [Zbl 0958.68031] \textit{Leuschel, Michael; Jørgensen, Jesper}, Efficient specialisation in Prolog using the hand-written compiler generator LOGEN, 6 p., electronic only [Zbl 0958.68036] \textit{Zhou, Neng-Fa; Kaneko, Sosuke}, A hybrid algorithm for compiling equality constraints and its implementation, 9 p., electronic only [Zbl 0958.68026]