Buchumschlag

An Encoding of Interaction Nets in OCaml

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huber, Nikolaus, Yi, Wang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mica: Automated Differential Testing for OCaml Modules
von: Ng, Ernest, et al.
Veröffentlicht: (2024)

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

Container Morphisms for Composable Interactive Systems
von: Videla, André
Veröffentlicht: (2024)

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)

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

React-tRace: A Semantics for Understanding React Hooks
von: Lee, Jay, et al.
Veröffentlicht: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
von: Wang, Zhiyi, et al.
Veröffentlicht: (2025)

Encoding architecture algebra
von: Bersier, Stephane, et al.
Veröffentlicht: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)

Fast Deterministic Black-box Context-free Grammar Inference
von: Arefin, Mohammad Rifat, et al.
Veröffentlicht: (2023)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
von: Wang, Yongpan, et al.
Veröffentlicht: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
von: Zhang, Hanliang, et al.
Veröffentlicht: (2024)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2024)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
von: Yao, Bingkun, et al.
Veröffentlicht: (2025)

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

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

Validated Code Translation for Projects with External Libraries
von: Zhang, Hanliang, et al.
Veröffentlicht: (2026)

Structural Code Search using Natural Language Queries
von: Limpanukorn, Ben, et al.
Veröffentlicht: (2025)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
von: Wang, Peiding, et al.
Veröffentlicht: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
von: Yu, Hao, et al.
Veröffentlicht: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
von: Xu, Ning, et al.
Veröffentlicht: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)

Getting Python Types Right with RightTyper
von: Pizzorno, Juan Altmayer, et al.
Veröffentlicht: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
von: Lochmelis, Denis, et al.
Veröffentlicht: (2025)

Literate Tracing
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
von: Gorna, Karolina, et al.
Veröffentlicht: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
von: Yu, ZeHao
Veröffentlicht: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
von: van Binsbergen, L. Thomas, et al.
Veröffentlicht: (2025)