:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Hanhaotian, Yamazaki, Tetsuro, Ugawa, Tomoharu
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2603.05645
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Collective Allocator Abstraction to Control Object Spatial Locality in C++
di: Hideshima, Takato, et al.
Pubblicazione: (2024)

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
di: Mochizuki, Fumika, et al.
Pubblicazione: (2025)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
di: Li, Senxi, et al.
Pubblicazione: (2026)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
di: Xu, Haoran, et al.
Pubblicazione: (2024)

Evaluating Compiler Optimization Impacts on zkVM Performance
di: Gassmann, Thomas, et al.
Pubblicazione: (2025)

A Formal Semantics of the GraalVM Intermediate Representation
di: Webb, Brae J., et al.
Pubblicazione: (2021)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
di: Lin, Shaokai, et al.
Pubblicazione: (2024)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
di: Oishi, Mebuki, et al.
Pubblicazione: (2025)

Target-Aware Implementation of Real Expressions
di: Saiki, Brett, et al.
Pubblicazione: (2024)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
di: Tanaka, Izumi, et al.
Pubblicazione: (2026)

A Monadic Implementation of Functional Logic Programs
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
di: Schimpf, Albert, et al.
Pubblicazione: (2026)

Six Ways to Implement Divisibility by Three in miniKanren
di: Schreiber, Brett, et al.
Pubblicazione: (2024)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
di: Blanc, Alex Le, et al.
Pubblicazione: (2025)

Translating C To Rust: Lessons from a User Study
di: Li, Ruishi, et al.
Pubblicazione: (2024)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
di: Li, Elaine, et al.
Pubblicazione: (2024)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
di: Abad, Kyriel, et al.
Pubblicazione: (2024)

pyeb: A Python Implementation of Event-B Refinement Calculus
di: Cataño, Néstor
Pubblicazione: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
di: Huber, Nikolaus, et al.
Pubblicazione: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
di: Bagrel, Thomas
Pubblicazione: (2026)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
di: Jarmusch, Aaron, et al.
Pubblicazione: (2024)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
di: Liesnikov, Bohdan, et al.
Pubblicazione: (2025)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
di: Drab, Tomasz
Pubblicazione: (2024)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
di: Rowland, Zachary S., et al.
Pubblicazione: (2025)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
di: Odyurt, Uraz, et al.
Pubblicazione: (2026)

A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
di: Lei, Jie, et al.
Pubblicazione: (2025)

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
di: Kostopoulou, Kelly, et al.
Pubblicazione: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
di: Li, Shaohua, et al.
Pubblicazione: (2024)

Session Types for the Transport Layer: Towards an Implementation of TCP
di: Cavoj, Samuel, et al.
Pubblicazione: (2024)

Implementability of Global Distributed Protocols modulo Network Architectures
di: Li, Elaine, et al.
Pubblicazione: (2026)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
di: Antón, Anna Lena Duque, et al.
Pubblicazione: (2024)

Implementing Binary Search Trees in GP 2 (Extended Abstract)
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2026)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2026)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
di: Krook, Robert, et al.
Pubblicazione: (2024)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
di: Zhang, Zhicheng, et al.
Pubblicazione: (2024)

Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence
di: Faily, Shamal
Pubblicazione: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
di: Rowicki, Radosław Jan, et al.
Pubblicazione: (2025)

Implementing an Extensive Reading Program and Library for Adult Literacy Learners
di: Rodrigo, Victoria, et al.
Pubblicazione: (2007)