Jos\'e F. Morales

Identifiers

• name variant Jos\'e F. Morales 0.60 · backfill

Papers (7)

1. SPECTECTOR: Principled Detection of Speculative Information Flows cs.CR · 2018 · author #3
2. An Approach to Static Performance Guarantees for Programs with Run-time Checks cs.PL · 2018 · author #4
3. Exploiting Term Hiding to Reduce Run-time Checking Overhead cs.PL · 2017 · author #2
4. Towards Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #2
5. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #2
6. The Ciao clp(FD) Library. A Modular CLP Extension for Prolog cs.PL · 2013 · author #4
7. Reversible Language Extensions and their Application in Debugging cs.PL · 2013 · author #2

Mentions

• 1405.7898 #2 · backfill · confidence 0.70 Jos\'e F. Morales
• 1404.4246 #2 · backfill · confidence 0.70 Jos\'e F. Morales
• 1301.7702 #4 · backfill · confidence 0.70 Jos\'e F. Morales
• 1301.7694 #2 · backfill · confidence 0.70 Jos\'e F. Morales

Frequent Coauthors

• Manuel V. Hermenegildo 6 shared papers
• Nataliia Stulova 4 shared papers
• Andr\'es S\'anchez 1 shared papers
• Boris K\"opf 1 shared papers
• Emilio Jes\'us Gallego Arias 1 shared papers
• Jan Reineke 1 shared papers
• Marco Guarnieri 1 shared papers
• Maximiliano Klemen 1 shared papers
• Pedro Lopez-Garcia 1 shared papers
• R\'emy Haemmerl\'e 1 shared papers
• Zo\'e Drey 1 shared papers