:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ferreiro, Daniela, Jurjo-Rivas, Daniel, Ciccalè, Marco, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2606.01076
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
by: Ciccalè, Marco, et al.
Published: (2025)

Abstract Environment Trimming
by: Jurjo-Rivas, Daniel, et al.
Published: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
by: Rustenholz, Louis, et al.
Published: (2024)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

Measuring Gender Bias in Job Title Matching for Grammatical Gender Languages
by: García-Sardiña, Laura, et al.
Published: (2025)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Run-Time Assertion Checking with Énfasis
by: José Oscar Olmedo Aguirre
Published: (2010)

Story of Willow Run
by: Wilson, Marion F.
Published: (2025)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
by: Biernacka, Małgorzata, et al.
Published: (2026)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Polyregular Model Checking
by: Lopez, Aliaume, et al.
Published: (2025)

ClaimCheck: Real-Time Fact-Checking with Small Language Models
by: Putta, Akshith Reddy, et al.
Published: (2025)

Face the Facts! Evaluating RAG-based Pipelines for Professional Fact-Checking
by: Russo, Daniel, et al.
Published: (2024)

Try, Check and Retry: A Divide-and-Conquer Framework for Boosting Long-context Tool-Calling Performance of LLMs
by: Chen, Kunfeng, et al.
Published: (2026)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)

GlyphPattern: An Abstract Pattern Recognition Benchmark for Vision-Language Models
by: Wu, Zixuan, et al.
Published: (2024)

Make Text Unlearnable: Exploiting Effective Patterns to Protect Personal Data
by: Li, Xinzhe, et al.
Published: (2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
by: Schwerter, Felipe Bañados, et al.
Published: (2025)

Overview of the TalentCLEF 2025: Skill and Job Title Intelligence for Human Capital Management
by: Gasco, Luis, et al.
Published: (2025)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
by: Song, Yewei, et al.
Published: (2024)

Checking Timed Bisimilarity with Virtual Clocks
by: Lieb, Alexander, et al.
Published: (2024)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
by: Wißmann, Thorsten
Published: (2026)

Runs, Squares, Palindromes, and Unbordered Factors of a Family of Binary Pattern Sequences with the All-One Pattern
by: Hendel, Russell Jay
Published: (2025)

When2Call: When (not) to Call Tools
by: Ross, Hayley, et al.
Published: (2025)

Los santos también comen en Pinotepa Nacional
by: Hermenegildo F. López Castro
Published: (2024)

«PROFESORAS Y PROFESORES EN EL OJO DEL HURACÁN»
by: Jurjo Torres Santomé
Published: (2006)

Formación del Profesorado y Educación como Proyecto Político e Inclusivo
by: Jurjo Torres-Santomé
Published: (2019)

La educaión infantil
by: Torres Santomé, Jurjo

GraphCheck: Multipath Fact-Checking with Entity-Relationship Graphs
by: Jeon, Hyewon, et al.
Published: (2025)

The CLEF-2026 CheckThat! Lab: Advancing Multilingual Fact-Checking
by: Struß, Julia Maria, et al.
Published: (2026)

Combining Evidence and Reasoning for Biomedical Fact-Checking
by: Barone, Mariano, et al.
Published: (2025)

Multilingual vs Crosslingual Retrieval of Fact-Checked Claims: A Tale of Two Approaches
by: Ramponi, Alan, et al.
Published: (2025)

Exploiting the Index Gradients for Optimization-Based Jailbreaking on Large Language Models
by: Li, Jiahui, et al.
Published: (2024)

SimpleTool: Parallel Decoding for Real-Time LLM Function Calling
by: Shi, Xiaoxin, et al.
Published: (2026)

OpenFact at CheckThat! 2024: Combining Multiple Attack Methods for Effective Adversarial Text Generation
by: Lewoniewski, Włodzimierz, et al.
Published: (2024)

CallNavi, A Challenge and Empirical Study on LLM Function Calling and Routing
by: Song, Yewei, et al.
Published: (2025)

Analysing Calls to Order in German Parliamentary Debates
by: Smirnova, Nina, et al.
Published: (2026)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
by: Jongmans, Sung-Shik
Published: (2024)