|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 1 | Ignacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo |
Computing Abstract Distances in Logic Programs.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Maximiliano 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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pepe Vila, Boris Köpf, José F. Morales |
Theory and Practice of Finding Eviction Sets. |
IEEE Symposium on Security and Privacy |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez |
SPECTECTOR: Principled Detection of Speculative Information Flows. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Maximiliano 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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Multivariant Assertion-based Guidance in Abstract Interpretation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Towards Incremental and Modular Context-Sensitive Analysis. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano 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. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo |
Static Performance Guarantees for Programs with Runtime Checks. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Multivariant Assertion-Based Guidance in Abstract Interpretation. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepe Vila, Boris Köpf, José Francisco Morales |
Theory and Practice of Finding Eviction Sets. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Term Hiding and its Impact on Run-time Check Simplification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Towards Run-time Checks Simplification via Term Hiding. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Semantic Code Browsing. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Semantic code browsing. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Reducing the overhead of assertion run-time checks via static analysis. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Practical Run-time Checking via Unobtrusive Property Caching. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Practical run-time checking via unobtrusive property caching. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Assertion-based Debugging of Higher-Order (C)LP Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel V. Hermenegildo |
Pre-indexed Terms for Prolog. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé, José F. Morales |
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Zoé Drey, José F. Morales, Manuel V. Hermenegildo |
Reversible Language Extensions and their Application in Debugging |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2013 |
DBLP BibTeX RDF |
|
| 1 | Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro |
Reversible Language Extensions and Their Application in Debugging. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Manuel 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. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manuel 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. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé |
Modular Extensions for Modular (Logic) Languages. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
| 1 | 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 |
DBLP DOI BibTeX RDF |
program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming |
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license