Lucio, Paqui (ed.); Moreno, Ginès (ed.); Peña, Ricardo (ed.) Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. (English) Zbl 1281.68032 Electronic Notes in Theoretical Computer Science 258, No. 1. Amsterdam: Elsevier. 121 p., electronic only (2009). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1281.68014].Indexed articles:Hidalgo-Herrero, Mercedes; Ortega-Mallén, Yolanda, To be or not to be…lazy (in a parallel context), 21-39 [Zbl 1294.68046]Lucas, Salvador, Automatic proofs of termination with elementary interpretations, 41-61 [Zbl 1294.68058]Lescaylle, Alexei; Villanueva, Alicia, The tccp interpreter, 63-77 [Zbl 1294.68047] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68N15 Theory of programming languages 00B25 Proceedings of conferences of miscellaneous specific interest PDF BibTeX XML Cite \textit{P. Lucio} (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9--11, 2009. Amsterdam: Elsevier (2009; Zbl 1281.68032) Full Text: Link