Follow
Jose F. Morales
Title
Cited by
Cited by
Year
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2102012
Spectector: Principled detection of speculative information flows
M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez
2020 IEEE Symposium on Security and Privacy (SP), 1-19, 2020
1922020
Theory and practice of finding eviction sets
P Vila, B Köpf, JF Morales
2019 IEEE Symposium on Security and Privacy (SP), 39-54, 2019
1642019
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
B Kafle, JP Gallagher, JF Morales
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
472016
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
412004
Fifty years of Prolog and beyond
P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ...
Theory and Practice of Logic Programming 22 (6), 776-858, 2022
352022
High-level languages for small devices: a case study
M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo
Proceedings of the 2006 international conference on Compilers, architecture …, 2006
322006
An overview of the ciao multiparadigm language and program development environment and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López, JF Morales, G Puebla
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
312008
Reducing the overhead of assertion run-time checks via static analysis
N Stulova, JF Morales, MV Hermenegildo
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
202016
Cost analysis of smart contracts via parametric resource analysis
V Pérez, M Klemen, P López-García, JF Morales, M Hermenegildo
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020
182020
Semantic code browsing
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016
182016
A generator of efficient abstract machine implementations and its application to emulator minimization
JF Morales, M Carro, G Puebla, MV Hermenegildo
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
182005
Comparing tag scheme variations using an abstract machine generator
JF Morales, M Carro, M Hermenegildo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
172008
Incremental and Modular Context-sensitive Analysis
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 21 (2), 196-243, 2021
15*2021
Lightweight compilation of (C) LP to JavaScript
JF Morales, R Haemmerlé, M Carro, MV Hermenegildo
Theory and Practice of Logic Programming 12 (4-5), 755-773, 2012
152012
Practical run-time checking via unobtrusive property caching
N Stulova, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 15 (4-5), 726-741, 2015
142015
Towards description and optimization of abstract machines in an extension of prolog
JF Morales, M Carro, M Hermenegildo
Logic-Based Program Synthesis and Transformation: 16th International …, 2007
132007
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
131997
An Overview of Ciao and its Design Philosophy. TPLP, 12 (1–2): 219–252, 2012
MV Hermenegildo, F Bueno, M Carro, P López, E Mera, J Morales, ...
13
From big-step to small-step semantics and back with interpreter specialisation
JP Gallagher, M Hermenegildo, B Kafle, M Klemen, PL García, J Morales
arXiv preprint arXiv:2008.02931, 2020
122020
The system can't perform the operation now. Try again later.
Articles 1–20