Image de couverture de livre

An Encoding of Interaction Nets in OCaml

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huber, Nikolaus, Yi, Wang
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Mica: Automated Differential Testing for OCaml Modules
par: Ng, Ernest, et autres
Publié: (2024)

An Interactive Debugger for Rust Trait Errors
par: Gray, Gavin, et autres
Publié: (2025)

Container Morphisms for Composable Interactive Systems
par: Videla, André
Publié: (2024)

A Roadmap for Tamed Interactions with Large Language Models
par: Scotti, Vincenzo, et autres
Publié: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
par: Smyth, Steven, et autres
Publié: (2025)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
par: Li, Hebi, et autres
Publié: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
par: Li, Hebi, et autres
Publié: (2023)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
par: Wang, Zhiyi, et autres
Publié: (2025)

Encoding architecture algebra
par: Bersier, Stephane, et autres
Publié: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
par: Wang, Yanzhao, et autres
Publié: (2024)

Fast Deterministic Black-box Context-free Grammar Inference
par: Arefin, Mohammad Rifat, et autres
Publié: (2023)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
par: Wang, Yongpan, et autres
Publié: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
par: Zhang, Hanliang, et autres
Publié: (2024)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
par: Li, Feifei, et autres
Publié: (2024)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Validated Code Translation for Projects with External Libraries
par: Zhang, Hanliang, et autres
Publié: (2026)

Structural Code Search using Natural Language Queries
par: Limpanukorn, Ben, et autres
Publié: (2025)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
par: Wang, Peiding, et autres
Publié: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
par: Zhang, Dylan, et autres
Publié: (2025)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

Literate Tracing
par: Sotoudeh, Matthew
Publié: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
par: Zhu, Qian, et autres
Publié: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
par: Yu, ZeHao
Publié: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
par: van Binsbergen, L. Thomas, et autres
Publié: (2025)