{rfName}
De

Indexed in

License and use

Icono OpenAccess

Citations

Altmetrics

Grant support

This research has received funding from the PROCODE Project (PID2019-108528RB-C21/MCIN/AEI/10.13039/501100011033) and the PRODIGY Project (TED2021-132464B-I00) funded by MCIN/AEI/10.13039/501100011033/and the European Union NextGenerationEU/PRTR.

Impact on the Sustainable Development Goals (SDGs)

Analysis of institutional authors

Ferreiro, DanielaCorresponding AuthorMorales, Jose FAuthorHermenegildo, Manuel VCorresponding Author

Share

May 26, 2024
Publications
>
Proceedings Paper
Sí

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

Publicated to:Electronic Proceedings In Theoretical Computer Science. 385 (385): 324-329 - 2023-01-01 385(385), DOI: 10.4204/EPTCS.385.33

Authors: Ferreiro, Daniela; Morales, Jose F; Abreu, Salvador; Hermenegildo, Manuel V

Affiliations

IMDEA Software Inst, Madrid, Spain - Author
Univ Evora, NOVA LINCS, Evora, Portugal - Author
Univ Politecn Madrid UPM, Madrid, Spain - Author

Abstract

We propose a demonstration of the Active Logic Documents (ALDs) approach and the Ciao Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD), and a concrete application of these technologies.

Keywords

Quality education

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal Electronic Proceedings In Theoretical Computer Science, Q3 Agency Scopus (SJR), its regional focus and specialization in Software, give it significant recognition in a specific niche of scientific knowledge at an international level.

Impact and social visibility

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • The work has been submitted to a journal whose editorial policy allows open Open Access publication.
  • Additionally, the work has been submitted to a journal classified as Diamond in relation to this type of editorial policy.
Continuing with the social impact of the work, it is important to emphasize that, due to its content, it can be assigned to the area of interest of ODS 4 - Quality Education, with a probability of 80% according to the mBERT algorithm developed by Aurora University.

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Portugal.

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (FERREIRO DE AGUIAR, DANIELA) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).

the authors responsible for correspondence tasks have been FERREIRO DE AGUIAR, DANIELA and HERMENEGILDO SALINAS, MANUEL DE.