José F. Morales

An overview of Ciao and its design philosophy

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming · 2011 · 148 citations

Engineering, Design Philosophy, Software Engineering +27

Fifty Years of Prolog and Beyond

Philipp Körner, Michaël Leuschel, João Barbosa et al. · Theory and Practice of Logic Programming · 2022 · 34 citations · Full text

Engineering, Classical Logic, Well-founded Semantics +18

Proceedings 39th International Conference on Logic Programming

Daniel Jurjo, José F. Morales, Pedro López-García et al. · Electronic Proceedings in Theoretical Computer Science · 2023 · 29 citations · Full text

Applied Logic, Engineering, Verification +19

High-level languages for small devices

Manuel Carro, José F. Morales, Henk Muller et al. · 2006 · 24 citations

Engineering, Compiler Technology, High-level Languages +16

Spectector: Principled Detection of Speculative Information Flows

Marco Guarnieri, Boris Köpf, José F. Morales et al. · 2020 · 19 citations · Full text

Engineering, Information Security, Information Leakage +24