×

zbMATH — the first resource for mathematics

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]

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
Full Text: Link