Salvador Lucas Alba

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (6)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (3)

• Artículos de revistas

  • Seleccionado

    Panorama. Lo que church turing ya sabían sobre mi portátil

    Salvador Lucas Alba

    Investigación y ciencia, ISSN 0210-136X, Nº 479, 2016, págs. 12-12

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Automatic proofs of termination with elementary interpretations

    Salvador Lucas Alba

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 239-254

    
  • Seleccionado

    Using Matrix interpretations over the reals in proofs of termination

    Beatriz Alarcón Jiménez, Salvador Lucas Alba, Rafael Navarro Marset

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 255-264

    
  • Seleccionado

    Mechanizing proofs of termination in the context-sensitive dependency pairs framework

    Raúl Gutiérrez Gil, Salvador Lucas Alba

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 265-274

    
  • Seleccionado

    Polynomials for proving termination of context-sensitive rewriting

    Salvador Lucas Alba

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 59

    
  • Seleccionado

    OnDemandOBJ: an optimized OBJ interpreter

    María Alpuente Frasnedo , Santiago Escobar Román , Salvador Lucas Alba

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 135

    
  • Seleccionado

    Computational properties of term rewriting with strategy annotations

    Salvador Lucas Alba

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 17-32

    

• Libros

  • Seleccionado

    La máquina que cambió el mundo: génesis, desarrollo y evolución del ordenador

    Salvador Lucas Alba

    Universidad Complutense de Madrid, Ediciones Complutense, 2019. ISBN 9788466936361

    Ha sido reseñado en:

    • Una historia de la computación para los informáticos del futuro

      Jordi Delgado Pin

      Investigación y ciencia, ISSN 0210-136X, Nº 521, 2020, págs. 92-93

    • Resumen
    

• Tesis

  • Seleccionado

    Reescritura con restricciones de reemplazamiento

    Salvador Lucas Alba

    Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.) . Universitat Politècnica de València (1998).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Towards a framework for proving termination of maude programs

    Beatriz Alarcón Jiménez

    Tesis doctoral dirigida por Salvador Lucas Alba (dir. tes.). Universitat Politècnica de València (2011).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    
  • Seleccionado

    Automatic proofs of termination of context-sensitive rewriting

    Raúl Gutiérrez Gil

    Tesis doctoral dirigida por Salvador Lucas Alba (dir. tes.). Universitat Politècnica de València (2010).

    • Resumen
    • Tesis en acceso abierto en: TESEO
    
  • Seleccionado

    Strategies and analysis techniques for functional program optimization

    Santiago Escobar Román

    Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.) , Salvador Lucas Alba (dir. tes.). Universitat Politècnica de València (2003).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.