Imagen de Portada

Evolution Language Framework for Persistent Objects

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Consistent Distributed Reactive Programming with Retroactive Computation
por: Kamina, Tetsuo, et al.
Publicado: (2025)

Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
por: Izawa, Yusuke, et al.
Publicado: (2025)

Persistent Amortised Analysis, Operationally
por: Lorenzen, Anton
Publicado: (2026)

Persistent Iterators with Value Semantics
por: Li, Yihe, et al.
Publicado: (2026)

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

A Type System for Data Privacy Compliance in Active Object Languages
por: Baramashetru, Chinmayi Prabhu, et al.
Publicado: (2025)

MLIR-Forge: A Modular Framework for Language Smiths
por: Ates, Berke, et al.
Publicado: (2026)

Automated Insertion of Flushes and Fences for Persistency
por: Guo, Yutong, et al.
Publicado: (2025)

Bentō: Optimizing Persistent Memory Programs
por: Amaro, Sebastião, et al.
Publicado: (2026)

Minuska: Towards a Formally Verified Programming Language Framework
por: Tušil, Jan, et al.
Publicado: (2024)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
por: Absar, Javed, et al.
Publicado: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
por: Zakharov, Vladimir, et al.
Publicado: (2024)

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

On the Origins of Objects by Means of Careful Selection
por: Bugayenko, Yegor, et al.
Publicado: (2022)

$φ$-Calculus: Object-Oriented Formalism
por: Bugayenko, Yegor, et al.
Publicado: (2021)

Schema Evolution in Interactive Programming Systems
por: Edwards, Jonathan, et al.
Publicado: (2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
por: Klimis, Vasileios, et al.
Publicado: (2024)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
por: Zhang, Weixing, et al.
Publicado: (2024)

A Coq implementation of a Theory of Tagged Objects
por: Gates, Matthew, et al.
Publicado: (2025)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
por: Enea, Constantin, et al.
Publicado: (2023)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
por: Arafat, Hassan, et al.
Publicado: (2025)

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

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
por: He, Yang, et al.
Publicado: (2025)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
por: de la Torre, Jordi
Publicado: (2025)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
por: Rasheed, Abdullah
Publicado: (2024)

Charon: An Analysis Framework for Rust
por: Ho, Son, et al.
Publicado: (2024)

Object Graph Programming
por: Thimmaiah, Aditya, et al.
Publicado: (2024)

The Stackage Repository: An Exploratory Study of its Evolution
por: Leger, Paul, et al.
Publicado: (2023)

PolyDebug: A Framework for Polyglot Debugging
por: Houdaille, Philémon, et al.
Publicado: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
por: Rechenberger, Sascha, et al.
Publicado: (2023)

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
por: Mendez, Julian Alfredo
Publicado: (2023)

Cache Persistence Analysis: Finally Exact
por: Stock, Gregory, et al.
Publicado: (2019)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
por: Xiong, Jing, et al.
Publicado: (2026)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
por: Chen, ZhenDong, et al.
Publicado: (2025)

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

The Vienna Architecture Description Language
por: Freitag, Florian, et al.
Publicado: (2024)