Artykuły udostępnione publicznie: - Jose F. MoralesWięcej informacji
Niedostępny w żadnym miejscu: 1
A Rule-Based Approach for Designing and Composing Abstract Domains
D Jurjo, J Morales, P Lopez-Garcia, M Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2023
Upoważnienia: Government of Spain
Dostępne w jakimś miejscu: 35
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
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
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
Upoważnienia: Natural Sciences and Engineering Research Council of Canada, Fundação para a …
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
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
Incremental and Modular Context-sensitive Analysis
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 21 (2), 196-243, 2021
Upoważnienia: Government of Spain
Semantic code browsing
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
Some thoughts on how to teach prolog
MV Hermenegildo, JF Morales, P Lopez-Garcia
Prolog: The Next 50 Years, 107-123, 2023
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
Teaching prolog with active logic documents
JF Morales, S Abreu, D Ferreiro, MV Hermenegildo
Prolog: The Next 50 Years, 171-183, 2023
Upoważnienia: Fundação para a Ciência e a Tecnologia, Portugal, Government of Spain
Computing abstract distances in logic programs
I Casso, JF Morales, P López-García, R Giacobazzi, MV Hermenegildo
Logic-Based Program Synthesis and Transformation: 29th International …, 2020
Upoważnienia: Government of Spain
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
Upoważnienia: Government of Spain
Testing your (static analysis) truths
I Casso, JF Morales, P López-García, MV Hermenegildo
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
Upoważnienia: Government of Spain
An integrated approach to assertion-based random testing in Prolog
I Casso, JF Morales, P López-García, MV Hermenegildo
Logic-Based Program Synthesis and Transformation: 29th International …, 2020
Upoważnienia: Government of Spain
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis
N Stulova, JF Morales, MV Hermenegildo
Science of Computer Programming 155, 3-26, 2018
Upoważnienia: Government of Spain
An s (CASP) In-Browser Playground based on Ciao Prolog
G García-Pradales, JF Morales, M Hermenegildo, J Arias, M Carro
Upoważnienia: Government of Spain
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy