Jose F. Morales
Jose F. Morales
imdea.org üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1722012
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
652019
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
602020
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
362004
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
342016
An overview of the ciao multiparadigm language and program development environment and its design philosophy
MV Hermenegildo, F Bueno Carrillo, M Carro Liñares, P López García, ...
Springer Berlin Heidelberg, 2008
302008
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
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
262006
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
Reducing the overhead of assertion run-time checks via static analysis
N Stulova, JF Morales Caballero, MV Hermenegildo
Association for Computing Machinery 1, 90-103, 2016
202016
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
162005
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
152015
Practical run-time checking via unobtrusive property caching
N Stulova, JF Morales Caballero, MV Hermenegildo
Cambridge University Press 15, 726-741, 2015
152015
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
132014
Assertion-based debugging of higher-order (C) LP programs
N Stulova, JF Morales Caballero, MV Hermenegildo
Association for Computing Machinery 1, 225-235, 2014
132014
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
132008
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
122006
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, ...
12
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
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
111997
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20