Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Beyond BLEU: A Semantic Evaluation Method for Code Translation
Julius Näumann, Sven Keidel, Amir Molzam Sharifloo +1
Code translation is one of the core capabilities of LLMs. However, evaluating the correctness of translations remains difficult, as commonly used metrics such as BLEU measure only…
cs.PL2024
Abstracting Denotational Interpreters
Sebastian Graf, Simon Peyton Jones, Sven Keidel
We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational…