This volume contains selected papers presented by students at URC* 2010 (Undergraduate Research in Computer Science - Theory and Applications). The papers cover a wide range of topics, including algorithm design (in particular, the design of heuristic algorithms for the maximum-leaf spanning tree problem, and the analysis of speed scaling algorithms), programming language design (in particular, language based security, the use of effect systems for automating model extraction, and results on adaptation languages using visual environments) and applications to ray tracing optical phenomena and...

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

En los anos cincuenta, Isabel, una chica humilde del barrio de Las Cuevas, entrara a trabajar como personal de servicio en la finca de Los Marqueses de El Pielago. Apenas transcurre un dia cuando, el senorito Rafael, hijo de los marqueses y estudiante que cursa su ultimo ano de medicina, se instalara en el cortijo para pasar el verano. Ella, nada mas verle, se enamorara perdidamente y a el, Isabel, no le sera del todo indiferente. Un amor a primera vista, pero inalcanzable, porque su madre, la senora marquesa, una persona desequilibrada, impedira por todos los medios que su hijo no tenga otro...