Buchumschlag

Container Morphisms for Composable Interactive Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Videla, André
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
von: Li, Hebi, et al.
Veröffentlicht: (2023)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
von: Zhang, Shuoming, et al.
Veröffentlicht: (2025)

An Encoding of Interaction Nets in OCaml
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

A Roadmap for Tamed Interactions with Large Language Models
von: Scotti, Vincenzo, et al.
Veröffentlicht: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
von: Smyth, Steven, et al.
Veröffentlicht: (2025)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
von: Li, Hebi, et al.
Veröffentlicht: (2025)

StoneDetector: Conventional and versatile code clone detection for Java
von: Heinze, Thomas S., et al.
Veröffentlicht: (2025)

The Green Side of the Lua
von: Brandão, André, et al.
Veröffentlicht: (2026)

Kotlin's Type System is (Also) Unsound
von: Kinsbruner, Elad, et al.
Veröffentlicht: (2024)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
von: Foalem, Patrick Loic, et al.
Veröffentlicht: (2026)

ProDebug: An Automated Debugging System for Prolog
von: Brancas, Ricardo, et al.
Veröffentlicht: (2026)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
von: Chen, Rui, et al.
Veröffentlicht: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
von: Karapetyan, Daniel
Veröffentlicht: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
von: Jing, Huihao, et al.
Veröffentlicht: (2026)

Constant Optimization Driven Database System Testing
von: Zhang, Chi, et al.
Veröffentlicht: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
von: Mang, Qiuyang, et al.
Veröffentlicht: (2025)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
von: Li, Mingyi, et al.
Veröffentlicht: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
von: Silva, André, et al.
Veröffentlicht: (2025)

Stale Profile Matching
von: Ayupov, Amir, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)

Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

Verified invertible lexer using regular expressions and DFAs
von: Chassot, Samuel, et al.
Veröffentlicht: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
von: Rak-amnouykit, Ingkarat, et al.
Veröffentlicht: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)