The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of José F. Morales José Francisco Morales ( http://dblp.L3S.de/Authors/José_F._Morales )

URL (Homepage):  https://orcid.org/0000-0001-9782-8135  Author page on DBLP  Author page in RDF  Community of José F. Morales in ASPL-2

Publication years (Num. hits)
2004-2013 (16) 2014-2018 (25) 2019 (3)
Publication types (Num. hits)
article(24) inproceedings(20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 11 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ignacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo Computing Abstract Distances in Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pepe Vila, Boris Köpf, José F. Morales Theory and Practice of Finding Eviction Sets. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez SPECTECTOR: Principled Detection of Speculative Information Flows. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo An Approach to Static Performance Guarantees for Programs with Run-time Checks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Multivariant Assertion-based Guidance in Abstract Interpretation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Towards Incremental and Modular Context-Sensitive Analysis. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-Time Checks. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Static Performance Guarantees for Programs with Runtime Checks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Multivariant Assertion-Based Guidance in Abstract Interpretation. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pepe Vila, Boris Köpf, José Francisco Morales Theory and Practice of Finding Eviction Sets. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Term Hiding and its Impact on Run-time Check Simplification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Run-time Checks Simplification via Term Hiding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Semantic Code Browsing. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Semantic code browsing. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, José F. Morales Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical Run-time Checking via Unobtrusive Property Caching. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical run-time checking via unobtrusive property caching. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel V. Hermenegildo Pre-indexed Terms for Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, José F. Morales Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo Reversible Language Extensions and their Application in Debugging Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales The Ciao clp(FD) Library. A Modular CLP Extension for Prolog Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro Reversible Language Extensions and Their Application in Debugging. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, German Puebla An overview of Ciao and its design philosophy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé Modular Extensions for Modular (Logic) Languages. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales, Germán Puebla An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Comparing tag scheme variations using an abstract machine generator. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
1Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo High-level languages for small devices: a case study. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
1José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Improved Compilation of Prolog to C Using Moded Types and Determinism Information. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Prolog, C, optimizing compilation, global analysis
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license