default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé F. Morales 0001
José Francisco Morales 0001
Person information
- affiliation: Madrid Institute of Advanced Studies in Software Development Technology (IMDEA Software Institute), Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c35]Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Teaching Pure LP with Prolog and a Fair Search Rule. ICLP Workshops 2024- [c34]Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. SAS 2024: 352-385 - [e4]Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales:
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and SynthesisRome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023. EPTCS 402, 2024 [contents] - [i22]Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR abs/2406.18260 (2024) - [i21]Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Abstract Environment Trimming. CoRR abs/2408.09848 (2024) - 2023
- [c33]John P. Gallagher
, Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR 2023: 28-38 - [c32]Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR 2023: 80-98 - [c31]Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo:
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. ICLP 2023: 324-329 - [p3]Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro:
Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years 2023: 23-37 - [p2]Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Some Thoughts on How to Teach Prolog. Prolog: The Next 50 Years 2023: 107-123 - [p1]José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo:
Teaching Prolog with Active Logic Documents. Prolog: The Next 50 Years 2023: 171-183 - [e3]Manuel V. Hermenegildo, José F. Morales:
Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Lecture Notes in Computer Science 14284, Springer 2023, ISBN 978-3-031-44244-5 [contents] - 2022
- [j11]Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 22(4): 499-504 (2022) - [j10]Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 22(5): 640 (2022) - [j9]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu:
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [c30]Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro:
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops 2022 - [e2]Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents] - [i20]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - 2021
- [j8]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21(2): 196-243 (2021) - [j7]Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21(6): 768-784 (2021) - [c29]Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales:
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS 2021: 22-35 - [e1]José F. Morales, Dominic A. Orchard:
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Lecture Notes in Computer Science 12548, Springer 2021, ISBN 978-3-030-67437-3 [contents] - [i19]Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR abs/2106.07045 (2021) - 2020
- [c28]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Testing Your (Static Analysis) Truths. LOPSTR 2020: 271-292 - [c27]Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo:
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS 2020: 7-31 - [c26]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
Spectector: Principled Detection of Speculative Information Flows. SP 2020: 1-19 - [c25]John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales:
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS 2020: 50-64
2010 – 2019
- 2019
- [c24]Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo:
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR 2019: 19-35 - [c23]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR 2019: 36-56 - [c22]Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. LOPSTR 2019: 57-72 - [c21]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR 2019: 159-176 - [c20]Pepe Vila, Boris Köpf, José F. Morales:
Theory and Practice of Finding Eviction Sets. IEEE Symposium on Security and Privacy 2019: 39-54 - [i18]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. CoRR abs/1907.13263 (2019) - [i17]Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo:
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR abs/1907.13272 (2019) - 2018
- [j6]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Sci. Comput. Program. 155: 3-26 (2018) - [c19]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) 2018: 7:1-7:2 - [c18]Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) 2018: 10:1-10:2 - [c17]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR 2018: 184-201 - [c16]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. PADL 2018: 99-115 - [c15]Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
Static Performance Guarantees for Programs with Runtime Checks. PPDP 2018: 13:1-13:13 - [i16]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR abs/1804.01839 (2018) - [i15]Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR abs/1804.02380 (2018) - [i14]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR abs/1808.05197 (2018) - [i13]Pepe Vila, Boris Köpf, José Francisco Morales:
Theory and Practice of Finding Eviction Sets. CoRR abs/1810.01497 (2018) - [i12]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR abs/1812.08639 (2018) - 2017
- [c14]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Run-time Checks Simplification via Term Hiding. ICLP (Technical Communications) 2017: 9:1-9:3 - [i11]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Term Hiding and its Impact on Run-time Check Simplification. CoRR abs/1705.06662 (2017) - 2016
- [j5]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16(1): 1-58 (2016) - [j4]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Semantic code browsing. Theory Pract. Log. Program. 16(5-6): 721-737 (2016) - [c13]Bishoksan Kafle, John P. Gallagher, José F. Morales:
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. CAV (1) 2016: 261-268 - [c12]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Reducing the overhead of assertion run-time checks via static analysis. PPDP 2016: 90-103 - [i10]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Semantic Code Browsing. CoRR abs/1608.02565 (2016) - 2015
- [j3]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Practical run-time checking via unobtrusive property caching. Theory Pract. Log. Program. 15(4-5): 726-741 (2015) - [i9]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Practical Run-time Checking via Unobtrusive Property Caching. CoRR abs/1507.05986 (2015) - 2014
- [c11]José F. Morales, Manuel V. Hermenegildo:
Pre-indexed Terms for Prolog. LOPSTR 2014: 317-331 - [c10]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP 2014: 225-235 - [i8]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR abs/1404.4246 (2014) - [i7]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR abs/1405.7898 (2014) - [i6]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR abs/1411.5573 (2014) - 2013
- [c9]Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro:
Reversible Language Extensions and Their Application in Debugging. PADL 2013: 206-221 - [i5]Zoé Drey, José F. Morales, Manuel V. Hermenegildo:
Reversible Language Extensions and their Application in Debugging. CoRR abs/1301.7694 (2013) - [i4]Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales:
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog. CoRR abs/1301.7702 (2013) - [i3]Rémy Haemmerlé, José F. Morales:
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055 (2013) - 2012
- [j2]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla:
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12(1-2): 219-252 (2012) - [j1]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12(4-5): 755-773 (2012) - [i2]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012) - 2011
- [c8]José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé:
Modular Extensions for Modular (Logic) Languages. LOPSTR 2011: 139-154 - [c7]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla:
An Overview of the Ciao System. RuleML Europe 2011: 2 - [i1]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla:
An overview of Ciao and its design philosophy. CoRR abs/1102.5497 (2011) - 2010
- [b1]José Francisco Morales:
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica. Technical University of Madrid, Spain, 2010
2000 – 2009
- 2008
- [c6]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237 - [c5]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43 - 2006
- [c4]Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo:
High-level languages for small devices: a case study. CASES 2006: 271-281 - [c3]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93 - 2005
- [c2]José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo:
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP 2005: 21-36 - 2004
- [c1]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
Coauthor Index
[c35] [c34] [i22] [i21] [c33] [c32] [c31] [p3] [p2] [p1] [e3] [j9] [c30] [i20] [j8] [j7] [c29] [i19] [c28] [c27] [c25] [c24] [c23] [c22] [c21] [i18] [i17] [j6] [c19] [c18] [c17] [c16] [c15] [i16] [i15] [i14] [c14] [i11] [j5] [j4] [c12] [i10] [j3] [i9] [c11] [c10] [i8] [i7] [i6] [c9] [i5] [i4] [j2] [j1] [i2] [c8] [c7] [i1] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-02 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
