Seguir
Jose F. Morales
Título
Citado por
Citado por
Año
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
1902012
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
992020
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
872019
RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
B Kafle, JP Gallagher, JF Morales
International Conference on Computer Aided Verification, 261-268, 2016
412016
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 86-103, 2004
402004
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
312006
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, 209-237, 2008
302008
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
182016
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
A generator of efficient abstract machine implementations and its application to emulator minimization
JF Morales, M Carro, G Puebla, MV Hermenegildo
International Conference on Logic Programming, 21-36, 2005
172005
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
Semantic code browsing
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016
132016
Towards description and optimization of abstract machines in an extension of prolog
JF Morales, M Carro, M Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
132006
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
Assertion-based debugging of higher-order (C) LP programs
N Stulova, JF Morales, MV Hermenegildo
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
122014
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
121997
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
112020
An Automatic Documentation Generator for (C) LP–Reference Manual
M Hermenegildo, CLIP Group
The Ciao System Documentation Series–TR CLIP5/97.2, Facultad de Informática, UPM, 1997
111997
Cost analysis of smart contracts via parametric resource analysis
V Pérez, M Klemen, P López-García, JF Morales, M Hermenegildo
International Static Analysis Symposium, 7-31, 2020
102020
Static Performance Guarantees for Programs with Runtime Checks
M Klemen, N Stulova, P López-García, J Morales, MV Hermenegildo
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
102018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20