Daniela Ferreiro

According to our database, Daniela Ferreiro authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Multi-configurable Search Rules in Prolog and Application to Testing.

Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2026

2025

Checkification: A Practical Approach for Testing Static Analysis Truths.

Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2025

Search-Guided Generation of Properties for Program Analyzers.

Daniela Ferreiro

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom.

José F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2023

Teaching Prolog with Active Logic Documents.

José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo

Proceedings of the Prolog: The Next 50 Years, 2023

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.

Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023