Volume
OASIcs, Volume 135
14th Symposium on Languages, Applications and Technologies (SLATE 2025)
-
Part of:
Series:
Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE)
Event
SLATE 2025, June 26-27, 2025, Faro, PortugalEditors
Publication Details
- published at: 2025-08-06
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- ISBN: 978-3-95977-387-4
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Volume
OASIcs, Volume 135, SLATE 2025, Complete Volume
Abstract
OASIcs, Volume 135, SLATE 2025, Complete Volume
Cite as
14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 1-220, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@Proceedings{baptista_et_al:OASIcs.SLATE.2025,
title = {{OASIcs, Volume 135, SLATE 2025, Complete Volume}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {1--220},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025},
URN = {urn:nbn:de:0030-drops-243367},
doi = {10.4230/OASIcs.SLATE.2025},
annote = {Keywords: OASIcs, Volume 135, SLATE 2025, Complete Volume}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization
Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as
14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{baptista_et_al:OASIcs.SLATE.2025.0,
author = {Baptista, Jorge and Barateiro, Jos\'{e}},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.0},
URN = {urn:nbn:de:0030-drops-243354},
doi = {10.4230/OASIcs.SLATE.2025.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
From Prediction to Precision: Leveraging LLMs for Equitable and Data-Driven Writing Placement in Developmental Education
Abstract
Accurate text classification and placement remain challenges in U.S. higher education, with traditional automated systems like Accuplacer functioning as "black-box" models with limited assessment transparency. This study evaluates Large Language Models (LLMs) as complementary placement tools by comparing their classification performance against a human-rated gold standard and Accuplacer. A 450-essay corpus was classified using Claude, Gemini, GPT-3.5-turbo, and GPT-4o across four prompting strategies: Zero-shot, Few-shot, Enhanced, and Enhanced+ (definitions with examples). Two classification approaches were tested: (i) a 1-step, 3 class classification task, distinguishing DevEd Level 1, DevEd Level 2, and College-level texts in one single run; and (ii) a 2-step classification task, first separating College vs. Non-College texts before further classifying Non-College texts into DevEd sublevels. The results show that structured prompt refinement improves the precision of LLMs' classification, with Claude Enhanced + achieving 62.22% precision (1 step) and Gemini Enhanced + reaching 69.33% (2 step), both surpassing Accuplacer (58.22%). Gemini and Claude also demonstrated strong correlation with human ratings, with Claude achieving the highest Pearson scores (ρ = 0.75; 1-step, ρ = 0.73; 2-step) vs. Accuplacer (ρ = 0.67). While LLMs show promise for DevEd placement, their precision remains a work in progress, highlighting the need for further refinement and safeguards to ensure ethical and equitable placement.
Cite as
Miguel Da Corte and Jorge Baptista. From Prediction to Precision: Leveraging LLMs for Equitable and Data-Driven Writing Placement in Developmental Education. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 1:1-1:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{dacorte_et_al:OASIcs.SLATE.2025.1,
author = {Da Corte, Miguel and Baptista, Jorge},
title = {{From Prediction to Precision: Leveraging LLMs for Equitable and Data-Driven Writing Placement in Developmental Education}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {1:1--1:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.1},
URN = {urn:nbn:de:0030-drops-236817},
doi = {10.4230/OASIcs.SLATE.2025.1},
annote = {Keywords: Large Language Models (LLMs), Developmental Education (DevEd), writing assessment, text classification, English writing proficiency}
}
Document
A DSL for Swarm Intelligence Algorithms
Abstract
We propose a domain-specific language to simplify the expression of Swarm Intelligence algorithms. These algorithms are typically introduced through metaphors, requiring practitioners to manually translate them into low-level implementations.This process can obscure intent and hinder reproducibility. The proposed DSL bridges this gap by capturing algorithmic behavior at a higher level of abstraction. We demonstrate its expressiveness in a few lines of code and evaluate its feasibility through a reference implementation. A discussion is presented that includes empirical comparisons with traditional implementations and future directions of the proposed DSL.
Cite as
Kevin Martins and Rui Mendes. A DSL for Swarm Intelligence Algorithms. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 2:1-2:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{martins_et_al:OASIcs.SLATE.2025.2,
author = {Martins, Kevin and Mendes, Rui},
title = {{A DSL for Swarm Intelligence Algorithms}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {2:1--2:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.2},
URN = {urn:nbn:de:0030-drops-236826},
doi = {10.4230/OASIcs.SLATE.2025.2},
annote = {Keywords: Domain Specific Languages, Swarm Intelligence, Global Optimization}
}
Document
Elements for Weighted Answer-Set Programming
Abstract
Logic programs, more specifically, answer-set programs, can be annotated with probabilities on facts to express uncertainty. We address the problem of propagating weight annotations on facts (e.g. probabilities) of an answer-set program to its stable models, and from there to events (defined as sets of atoms) in a dataset over the program’s domain.
We propose a novel approach which is algebraic in the sense that it relies on an equivalence relation over the set of events. Uncertainty is then described as polynomial expressions over variables.
We propagate the weight function in the space of models and events, rather than doing so within the syntax of the program. As evidence that our approach is sound, we show that certain facts behave as expected. Our approach allows us to investigate weight annotated programs and to determine how suitable a given one is for modeling a given dataset containing events. It’s core is illustrated by a running example and the encoding of a Bayesian network.
Cite as
Francisco Coelho, Bruno Dinis, Dietmar Seipel, and Salvador Abreu. Elements for Weighted Answer-Set Programming. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 3:1-3:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{coelho_et_al:OASIcs.SLATE.2025.3,
author = {Coelho, Francisco and Dinis, Bruno and Seipel, Dietmar and Abreu, Salvador},
title = {{Elements for Weighted Answer-Set Programming}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {3:1--3:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.3},
URN = {urn:nbn:de:0030-drops-236836},
doi = {10.4230/OASIcs.SLATE.2025.3},
annote = {Keywords: Answer-Set Programming, Stable Models, Probabilistic Logic Programming}
}
Document
Vulnerability Detection Across Different CI/CD Platforms
Abstract
In recent years, more attention has been paid to the security of the software supply chain (SSC). While at first SSC was just seen as the dependency of other libraries, today SSC is broader, considering all the environment where a software application is developed, from the actors, hardware and auxiliary tools.
This work focuses on a specific part of software supply chain security: the tools used for continuous integration and continuous deployment (CI/CD) and their vulnerabilities and risks. These tools are widely used by organizations to accelerate their software development, testing, and delivery, making any security issue present in these tools problematic for the organization. This is especially true given that most tools are open-source, making these tools the primary targets for exploits.
We will present a quick introduction to SSCS and CI/CD and provide a practical solution to detect risks and vulnerabilities in CI/CD tools, emphasizing the modular approach, allowing the system to easily scale to detect new risks and vulnerabilities, as well as to support new CI/CD tools.
Cite as
Vasco Manuel Oliveira, Alberto Simões, and Pedro Rangel Henriques. Vulnerability Detection Across Different CI/CD Platforms. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{oliveira_et_al:OASIcs.SLATE.2025.4,
author = {Oliveira, Vasco Manuel and Sim\~{o}es, Alberto and Henriques, Pedro Rangel},
title = {{Vulnerability Detection Across Different CI/CD Platforms}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {4:1--4:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.4},
URN = {urn:nbn:de:0030-drops-236848},
doi = {10.4230/OASIcs.SLATE.2025.4},
annote = {Keywords: Software Supply Chain, Software Supply Chain Security, CI/CD Platforms}
}
Document
CVTool: Automating Content Variants of CVs
Abstract
As academic professionals, we frequently need to create different versions of our CVs for project applications, career evaluations, or competitions. These versions may be chronologically structured or skill-oriented, covering specific periods and written in various languages. Even when using a LaTeX document as a base, numerous modifications are required each time an updated CV version is requested for a specific purpose. The primary objective of the project reported in this paper is to design and implement a web-based system (CVTool) that simplifies the management of LaTeX CV content while ensuring flexibility. The CVTool is built on a domain-specific language that enables the creation of various filters, allowing for the automatic content adjustment while preserving the original format. Information is extracted from the LaTeX document, and users can specify the sections, dates, skills they want to highlight, and the language in which the CV should be generated. Since the approach relies on an internal data representation derived from the original LaTeX document, it offers users the flexibility to manage content efficiently and extract the necessary information with ease.
Cite as
Julio Beites Gonçalves, Maria João Varanda Pereira, and Pedro Rangel Henriques. CVTool: Automating Content Variants of CVs. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{goncalves_et_al:OASIcs.SLATE.2025.5,
author = {Gon\c{c}alves, Julio Beites and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel},
title = {{CVTool: Automating Content Variants of CVs}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {5:1--5:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.5},
URN = {urn:nbn:de:0030-drops-236855},
doi = {10.4230/OASIcs.SLATE.2025.5},
annote = {Keywords: Latex CV, CV Versioning, DSL, CV Parsing, CV Templates}
}
Document
Beyond the Score: Exploring the Intersection Between Sociodemographics and Linguistic Features in English (L1) Writing Placement
Abstract
This study examines the intersection of sociodemographic characteristics, linguistic features, and writing placement outcomes at a community college in the United States of America. It focuses on 210 anonymized writing samples from native English speakers (L1) that were automatically classified by Accuplacer and independently assessed by two trained raters. Disparities across gender and race using 40 top-ranked linguistic features selected from Coh-Metrix, CTAP, and Developmental Education-Specific (DES) sets were analyzed. Three statistical tests were used: one-way ANOVA, Tukey’s HSD, and Chi-square. ANOVA results showed racial differences in nine linguistic features, especially those tied to syntactic complexity, discourse markers, and lexical precision. Gender differences were more limited, with only one feature reaching significance (Positive Connectives, p = 0.007). Tukey’s HSD pairwise tests showed no significant gender group variation but revealed sensitivity in DES features when comparing racial groups. Chi-square analysis indicated no significant association between gender and placement outcomes but suggested a possible link between race and human-assigned levels (χ² = 9.588, p = 0.048). These findings suggest that while automated systems assess general writing skills, human-devised linguistic features and demographic insights can support more equitable placement practices for all students entering college-level programs.
Cite as
Miguel Da Corte and Jorge Baptista. Beyond the Score: Exploring the Intersection Between Sociodemographics and Linguistic Features in English (L1) Writing Placement. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 6:1-6:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{dacorte_et_al:OASIcs.SLATE.2025.6,
author = {Da Corte, Miguel and Baptista, Jorge},
title = {{Beyond the Score: Exploring the Intersection Between Sociodemographics and Linguistic Features in English (L1) Writing Placement}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {6:1--6:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.6},
URN = {urn:nbn:de:0030-drops-236861},
doi = {10.4230/OASIcs.SLATE.2025.6},
annote = {Keywords: Developmental Education (DevEd), sociolinguistic variation, text classification, Machine Learning, placement equity}
}
Document
A Chatbot to Help Promoting Financial Literacy
Abstract
Currently, governments and many other institutions have been making significant efforts to promote financial literacy. However, a considerable portion of the population still lacks basic financial knowledge, highlighting the need for updated strategies to enhance financial education. In today’s digital world - where people often search for quick and convenient solutions - the development of a reliable and intelligent chatbot to answer questions related to financial concepts and decision-making can be very beneficial. This paper proposes the implementation of an automated web scraper to extract content from a trustworthy financial education website with plenty of useful concepts about finances, using this collected data to develop a chatbot which provides accurate and helpful responses to users. The solution is built using technologies such as Streamlit, Langchain, and OpenAI.
Cite as
Davi Silva Eleuterio, Pedro Filipe Oliveira, Paulo Matos, and Jorge Manuel Afonso Alves. A Chatbot to Help Promoting Financial Literacy. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 7:1-7:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{eleuterio_et_al:OASIcs.SLATE.2025.7,
author = {Eleuterio, Davi Silva and Oliveira, Pedro Filipe and Matos, Paulo and Alves, Jorge Manuel Afonso},
title = {{A Chatbot to Help Promoting Financial Literacy}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {7:1--7:9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.7},
URN = {urn:nbn:de:0030-drops-236870},
doi = {10.4230/OASIcs.SLATE.2025.7},
annote = {Keywords: chatbot, financial literacy, web scraper, LLM, RAG}
}
Document
An Architecture for Composite Combinatorial Optimization Solvers
Abstract
In this paper, we introduce elements for MoSCO, a framework for building hybrid metaheuristic-based solvers from a collection of reusable base components. The framework is implemented in Julia and provides a modular architecture for composing solvers through a pipeline-based approach. The modular design of MoSCO supports the creation of reusable components and adaptable solver strategies for various Constraint Satisfaction Problems (CSPs) and Constraint Optimization Problems (COPs). We validate MoSCO’s utility through practical examples, demonstrating its effectiveness in reconstructing established metaheuristics and enabling the creation of novel solver configurations. This work lays the foundation for future developments in automated solver construction and parameter optimization.
Cite as
Khalil Chrit, Jean-François Baffier, Pedro Patinho, and Salvador Abreu. An Architecture for Composite Combinatorial Optimization Solvers. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 8:1-8:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{chrit_et_al:OASIcs.SLATE.2025.8,
author = {Chrit, Khalil and Baffier, Jean-Fran\c{c}ois and Patinho, Pedro and Abreu, Salvador},
title = {{An Architecture for Composite Combinatorial Optimization Solvers}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {8:1--8:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.8},
URN = {urn:nbn:de:0030-drops-236885},
doi = {10.4230/OASIcs.SLATE.2025.8},
annote = {Keywords: Hybrid Metaheuristics, DSL}
}
Document
Semantic Representation of Adverbs in the Lexicalized Meaning Representation (LMR) Framework
Abstract
Semantic parsing serves as a crucial interface between natural language and formal meaning representations, enabling computational systems to capture the underlying semantic structure of linguistic expressions. This paper addresses a relatively understudied area in both linguistic theory and natural language processing: the semantic representation of adverbs. We conduct a comparative analysis of annotation guidelines and practices across two semantic representation frameworks: Lexicalized Meaning Representation (LMR), applied to the European Portuguese edition of the novella "O Principezinho" by Antoine de Saint-Exupéry (1943); and Abstract Meaning Representation (AMR), applied to the Brazilian Portuguese edition, "O Pequeno Príncipe". The study reveals significant limitations in AMR’s handling of adverbial constructions, particularly when assessed against contemporary syntactic-semantic advances in linguistic theory. Furthermore, it highlights the theoretical and practical challenges that LMR continues to face in this domain.
Cite as
Jorge Baptista, Izabela Müller, and Sónia Reis. Semantic Representation of Adverbs in the Lexicalized Meaning Representation (LMR) Framework. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 9:1-9:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{baptista_et_al:OASIcs.SLATE.2025.9,
author = {Baptista, Jorge and M\"{u}ller, Izabela and Reis, S\'{o}nia},
title = {{Semantic Representation of Adverbs in the Lexicalized Meaning Representation (LMR) Framework}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {9:1--9:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.9},
URN = {urn:nbn:de:0030-drops-236891},
doi = {10.4230/OASIcs.SLATE.2025.9},
annote = {Keywords: Semantic representation, Adverbs, Lexicalized Meaning Representation (LMR), Abstract Meaning Representation (AMR), Annotation guidelines, European Portuguese, Brazilian Portuguese, Comparative analysis, The Little Prince, Corpus linguistics, Natural Language Processing (NLP), Multi-word expressions, Syntactic-semantic interface, Linguistic theory}
}
Document
Stepwise Source, a Supporting Tool for Source Code Demonstration
Abstract
The difficulties in teaching and learning computer programming remain a pressing issue to this day. Several studies and tools have been developed over the years to tackle this challenge from many different points-of-view. One of the biggest tools an educator has to support him in a classroom is the progressive explanation of how a source code is constructed and what effects each of its parts has on the overall result. Attempts to translate this live-directed tool to an on-line experience is usually time-consuming and lacking in features. In order to tackle this concern, a tool to create piecewise source code writing demonstrations was developed - Stepwise Source. The main idea behind this application is to allow step-by-step explanation of a source code construction, along with any relevant annotations and automatically assessed challenges that an educator may add. By providing a dynamic platform for both students and lecturers, this software aims to improve the teaching and learning of computer programming, while trying to imitate the information flow of a live lecture, with the added benefit of student-directed pace of explanation. Through interactive guidance and automated assessment, this tool has the potential to foster a deeper understanding of computational principles and promote proficiency in programming skills.
Cite as
João Santos, Alvaro Costa Neto, and Pedro Rangel Henriques. Stepwise Source, a Supporting Tool for Source Code Demonstration. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 10:1-10:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{santos_et_al:OASIcs.SLATE.2025.10,
author = {Santos, Jo\~{a}o and Costa Neto, Alvaro and Henriques, Pedro Rangel},
title = {{Stepwise Source, a Supporting Tool for Source Code Demonstration}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {10:1--10:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.10},
URN = {urn:nbn:de:0030-drops-236906},
doi = {10.4230/OASIcs.SLATE.2025.10},
annote = {Keywords: Computer Programming Education, Source Code Demonstration, Education Technology}
}
Document
Bridging Language Barriers: A Comparative Review and Empirical Evaluation of Source-To-Source Transpilers
Abstract
Source-to-source transpilation plays a pivotal role in modern software engineering by enabling code migration, feature adoption, and cross-language interoperability without sacrificing semantic integrity. The contributions discussed in this paper can be split into two. The first is a comprehensive literature review that aims at defining what transpilers are, traces their historical evolution from early Fortran/COBOL preprocessors to more recent tools like Babel and TypeScript, and examines key parsing methodologies, AST representations, and transformation strategies. The second is an experimental investigation which assesses several popular transpilers - selected by GitHub popularity and unique language-pair capabilities, when applied to an equivalent code snippet designed to sum even numbers and identify the maximum element. The metrics evaluated were the execution time, CPU, memory consumption, output accuracy and usability.
Cite as
André Freitas, Tiago Baptista, and Pedro Rangel Henriques. Bridging Language Barriers: A Comparative Review and Empirical Evaluation of Source-To-Source Transpilers. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 11:1-11:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{freitas_et_al:OASIcs.SLATE.2025.11,
author = {Freitas, Andr\'{e} and Baptista, Tiago and Henriques, Pedro Rangel},
title = {{Bridging Language Barriers: A Comparative Review and Empirical Evaluation of Source-To-Source Transpilers}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {11:1--11:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.11},
URN = {urn:nbn:de:0030-drops-236911},
doi = {10.4230/OASIcs.SLATE.2025.11},
annote = {Keywords: Source-to-source translation, Code transformation, Parsing, Lexical analysis, Syntax analysis, Semantic analysis, Transpilation}
}
Document
Portuguese Far-Right Discourse on Social Media: Insights from Topic Modeling
Abstract
This study analyzes the social media discourse of leading figures from Portugal’s far right party CHEGA, examining 10,323 posts on X (formerly Twitter) published between late 2019 and mid‑2024. Using BERTopic, 59 latent topics clustered into two main discursive dynamics were found: (1) ideological and public, and (2) party, electoral and parliamentary related. Within the first dynamic, we conducted a focused sub-analysis of themes related with identity, immigration and security narratives - topics that display posting peaks around electoral cycles, suggesting the strategic use of emotionally charged, identitarian frames for political mobilization. The model exhibits strong topic coherence and lexical diversity, indicating its robustness in extracting thematic structures from politically polarized microtexts. Nevertheless, our findings are constrained by source, the absence of interaction metrics, and the unmet need to link online discourse to offline events. This study demonstrates how computational topic modeling can reveal strategic communication patterns in far-right political discourse and underscores the need for cross-platform and interaction-level research to assess broader societal impact.
Cite as
Mauro Cardoso, Eugénio Ribeiro, and Fernando Batista. Portuguese Far-Right Discourse on Social Media: Insights from Topic Modeling. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{cardoso_et_al:OASIcs.SLATE.2025.12,
author = {Cardoso, Mauro and Ribeiro, Eug\'{e}nio and Batista, Fernando},
title = {{Portuguese Far-Right Discourse on Social Media: Insights from Topic Modeling}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {12:1--12:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.12},
URN = {urn:nbn:de:0030-drops-236929},
doi = {10.4230/OASIcs.SLATE.2025.12},
annote = {Keywords: Political Discourse, Topic Modeling, Far-Right, CHEGA (Portugal), Social Media}
}
Document
Mining GitHub Software Repositories to Look for Programming Language Cocktails
Abstract
In light of specific development needs, it is common to concurrently apply different technologies to build complex applications. Given that lowering risks, costs, and other negative factors, while improving their positive counterparts is paramount to a better development environment, it becomes relevant to find out what technologies work best for each intended purpose in a project. In order to reach these findings, it is necessary to analyse and study the technologies applied in these projects and how they interconnect and relate to each other. The theory behind Programming Cocktails (meaning the set of programming technologies - Ingredients - that are used to develop complex systems) can support these analysis. However, due to the sheer amount of data that is required to construct and analyse these Cocktails, it becomes unsustainable to manually obtain them. From the desire to accelerate this process comes the need for a tool that automates the data collection and its conversion into an appropriate format for analysis. As such, the project proposed in this paper revolves around the development of a web-scraping application that can generate Cocktail Identity Cards (CIC) from source code repositories hosted on GitHub. Said CICs contain the Ingredients (programming languages, libraries and frameworks) used in the corresponding GitHub repository and follow the ontology previously established in a larger research project to model each Programming Cocktail. This paper presents a survey of current Source Version Control Systems (SVCSs) and web-scrapping technologies, an overview of Programming Cocktails and its current foundations, and the design of a tool that can automate the gathering of CICs from GitHub repositories.
Cite as
João Loureiro, Alvaro Costa Neto, Maria João Varanda Pereira, and Pedro Rangel Henriques. Mining GitHub Software Repositories to Look for Programming Language Cocktails. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 13:1-13:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@InProceedings{loureiro_et_al:OASIcs.SLATE.2025.13,
author = {Loureiro, Jo\~{a}o and Costa Neto, Alvaro and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel},
title = {{Mining GitHub Software Repositories to Look for Programming Language Cocktails}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {13:1--13:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.13},
URN = {urn:nbn:de:0030-drops-236933},
doi = {10.4230/OASIcs.SLATE.2025.13},
annote = {Keywords: Software Repository Mining, Source Version Control, GitHub Scraping, Programming Cocktails}
}