:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Hideshima, Takato, Sato, Shigeyuki, Ugawa, Tomoharu
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2403.02183
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
por: Liu, Hanhaotian, et al.
Publicado: (2026)

Synthesizing Document Database Queries using Collection Abstractions
por: Liu, Qikang, et al.
Publicado: (2024)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
por: Jung, Christoph, et al.
Publicado: (2025)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
por: Rose, Abhishek, et al.
Publicado: (2024)

The Continuous Tensor Abstraction: Where Indices are Real
por: Won, Jaeyeon, et al.
Publicado: (2024)

E-Graphs as a Persistent Compiler Abstraction
por: Merckx, Jules, et al.
Publicado: (2026)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

Modeling Layout Abstractions Using Integer Set Relations
por: Bhaskaracharya, Somashekaracharya G, et al.
Publicado: (2025)

Object-Spatial Programming
por: Mars, Jason
Publicado: (2025)

Abstractions of Sequences, Functions and Operators
por: Rustenholz, Louis, et al.
Publicado: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
por: DeLorenzo, Matthew, et al.
Publicado: (2025)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
por: Korostinskiy, Roman, et al.
Publicado: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
por: Kang, Byeongjee, et al.
Publicado: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Linear-Time T-Gate Optimization via Random Abstraction
por: Albarghouthi, Aws
Publicado: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
por: Warren, David S., et al.
Publicado: (2024)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
por: Stengel-Eskin, Elias, et al.
Publicado: (2024)

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
por: Dantanarayana, Jayanaka L., et al.
Publicado: (2024)

Conditional Nested Pattern Matching in Interaction Net
por: Sato, Shinya
Publicado: (2024)

Dependent-Type-Preserving Memory Allocation
por: Koronkevich, Paulette, et al.
Publicado: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
por: Younis, Ed
Publicado: (2025)

Modal Abstractions for Virtualizing Memory Addresses
por: Kuru, Ismail, et al.
Publicado: (2023)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
por: Lai, Ruihang, et al.
Publicado: (2023)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
por: Sohn, Gina, et al.
Publicado: (2025)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
por: Hughes, Jack, et al.
Publicado: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
por: Briot, Jean-Pierre
Publicado: (2021)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
por: Makor, Lukas, et al.
Publicado: (2025)

Reconsidering "Reconsidering Custom Memory Allocation"
por: van Kempen, Nicolas, et al.
Publicado: (2026)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
por: Jin, Hongyi, et al.
Publicado: (2026)

Repr Types: One Abstraction to Rule Them All
por: Palmkvist, Viktor, et al.
Publicado: (2024)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
por: Barth, Max, et al.
Publicado: (2025)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
por: Benbetka, Marouane, et al.
Publicado: (2025)

Solvable Tuple Patterns and Their Applications to Program Verification
por: Kobayashi, Naoki, et al.
Publicado: (2025)

Prime Path Coverage in the GNU Compiler Collection
por: Kvalsvik, Jørgen
Publicado: (2025)

Automatic Inference of Relational Object Invariants
por: Su, Yusen, et al.
Publicado: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
por: Rosa, Evandro C. R., et al.
Publicado: (2024)