7.1k citations
- Institute of Astrophysics and Space SciencesPT701 papers
- Centre National de la Recherche ScientifiqueFR483 papers
- University of GenevaCH333 papers
- Instituto de Astrofísica de CanariasES329 papers
- Universidad de La LagunaES292 papers
- Université Paris CitéFR281 papers
- Centro de Astrofísica da Universidade do PortoPT271 papers
- Aix-Marseille UniversitéFR260 papers
- Sorbonne UniversitéFR257 papers
- Leiden UniversityNL248 papers
- University of LisbonPT240 papers
- Université Grenoble AlpesFR226 papers
Showing 2024 · cs.PLShow all
3 papers · 2 filters
cs.PL2024★ 5 cited
Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
Yimin Zhang, Mario de Sousa
The capabilities demonstrated by Large Language Models (LLMs) inspire researchers to integrate them into industrial production and automation. In the field of Programmable Logic Co…
cs.PL2024★ 1 cited
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Pedro Vasconcelos, Rodrigo Marques
Many Haskell textbooks explain the evaluation of pure functional programs as a process of stepwise rewriting using equations. However, usual implementation techniques perform progr…
cs.PL2024★ 5 cited
Reactive graphs in action (extended version)
David Tinoco, Alexandre Madeira, Manuel A. Martins +1
Reactive graphs are transition structures whereas edges become active and inactive during its evolution, that were introduced by Dov Gabbay from a mathematical's perspective. This…