Cover Image

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Niketan, Nripesh, Shrivastva, Vaatsalya
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Computation and Language Graphics 68N20, 68N15, 68W10 D.3.4; D.3.2; D.1.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
by: Guimarães, Maria Fernanda Oliveira, et al.
Published: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
by: Canesche, Michael, et al.
Published: (2024)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
by: Sumitani, Rafael, et al.
Published: (2024)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

A Unified Framework for Quantitative Cache Analysis
by: Kahlen, Sophie, et al.
Published: (2025)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

Optimal Software Pipelining using an SMT-Solver
by: Roorda, Jan-Willem
Published: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Design, Configuration, Implementation, and Performance of a Simple 32 Core Raspberry Pi Cluster
by: Cicirello, Vincent A.
Published: (2017)

Fat API bindings of C++ objects into scripting languages
by: Standish, Russell K.
Published: (2024)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

On the computational complexity of Data Flow Analysis
by: Sood, Gaurav, et al.
Published: (2013)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
by: Hellwig, Alexander, et al.
Published: (2025)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
by: Morse, Gregory, et al.
Published: (2026)

Anchor Attention, Small Cache: Code Generation with Large Language Models
by: Zhang, Xiangyu, et al.
Published: (2024)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Dynamic Memory Management on GPUs with SYCL
by: Standish, Russell K.
Published: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)