:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abad, Kyriel, Henz, Martin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2412.01545
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
von: Jiang, Yuchen, et al.
Veröffentlicht: (2025)

SimpliPy: A Source-Tracking Notional Machine for Simplified Python
von: Jain, Moida Praneeth, et al.
Veröffentlicht: (2025)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
von: Carette, TItouan, et al.
Veröffentlicht: (2022)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
von: Drab, Tomasz
Veröffentlicht: (2024)

Scheme Pearl: Quantum Continuations
von: Choudhury, Vikraman, et al.
Veröffentlicht: (2024)

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

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2024)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
von: Nougrahiya, Aman, et al.
Veröffentlicht: (2021)

Target-Aware Implementation of Real Expressions
von: Saiki, Brett, et al.
Veröffentlicht: (2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

Design Support for Multitape Turing Machines
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

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

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
von: Sulzmann, Martin
Veröffentlicht: (2025)

Six Ways to Implement Divisibility by Three in miniKanren
von: Schreiber, Brett, et al.
Veröffentlicht: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
von: Paraskevopoulou, Zoe
Veröffentlicht: (2026)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
von: Schimpf, Albert, et al.
Veröffentlicht: (2026)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Spatial Data Science Languages: commonalities and needs
von: Pebesma, Edzer, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
von: Liu, Hanhaotian, et al.
Veröffentlicht: (2026)

pyeb: A Python Implementation of Event-B Refinement Calculus
von: Cataño, Néstor
Veröffentlicht: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
von: Jarmusch, Aaron, et al.
Veröffentlicht: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Probing the Design Space: Parallel Versions for Exploratory Programming
von: Beckmann, Tom, et al.
Veröffentlicht: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
von: Zhang, Yihong, et al.
Veröffentlicht: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)

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

Beyond Cons: Purely Relational Data Structures
von: Sanna, Rafaello, et al.
Veröffentlicht: (2025)

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

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
von: Jung, Christoph, et al.
Veröffentlicht: (2025)

The Session Abstract Machine (Extended Version)
von: Caires, Luís, et al.
Veröffentlicht: (2024)

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

Extended Abstract: Mutable Objects with Several Implementations
von: Kaufmann, Matt, et al.
Veröffentlicht: (2025)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
von: Krook, Robert, et al.
Veröffentlicht: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
von: Kostopoulou, Kelly, et al.
Veröffentlicht: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)