Daniela Ferreiro

According to our database, Daniela Ferreiro authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

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

CoRR, January, 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