Image de couverture de livre

Evolution Language Framework for Persistent Objects

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Consistent Distributed Reactive Programming with Retroactive Computation
par: Kamina, Tetsuo, et autres
Publié: (2025)

Compilation Semantics for a Programming Language with Versions
par: Tanabe, Yudai, et autres
Publié: (2023)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Persistent Amortised Analysis, Operationally
par: Lorenzen, Anton
Publié: (2026)

Persistent Iterators with Value Semantics
par: Li, Yihe, et autres
Publié: (2026)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

A Type System for Data Privacy Compliance in Active Object Languages
par: Baramashetru, Chinmayi Prabhu, et autres
Publié: (2025)

MLIR-Forge: A Modular Framework for Language Smiths
par: Ates, Berke, et autres
Publié: (2026)

Automated Insertion of Flushes and Fences for Persistency
par: Guo, Yutong, et autres
Publié: (2025)

Bentō: Optimizing Persistent Memory Programs
par: Amaro, Sebastião, et autres
Publié: (2026)

Minuska: Towards a Formally Verified Programming Language Framework
par: Tušil, Jan, et autres
Publié: (2024)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
par: Absar, Javed, et autres
Publié: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
par: Zakharov, Vladimir, et autres
Publié: (2024)

Automatic Inference of Relational Object Invariants
par: Su, Yusen, et autres
Publié: (2024)

On the Origins of Objects by Means of Careful Selection
par: Bugayenko, Yegor, et autres
Publié: (2022)

$φ$-Calculus: Object-Oriented Formalism
par: Bugayenko, Yegor, et autres
Publié: (2021)

Schema Evolution in Interactive Programming Systems
par: Edwards, Jonathan, et autres
Publié: (2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
par: Klimis, Vasileios, et autres
Publié: (2024)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
par: Zhang, Weixing, et autres
Publié: (2024)

A Coq implementation of a Theory of Tagged Objects
par: Gates, Matthew, et autres
Publié: (2025)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
par: Enea, Constantin, et autres
Publié: (2023)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
par: Arafat, Hassan, et autres
Publié: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
par: Hideshima, Takato, et autres
Publié: (2024)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
par: He, Yang, et autres
Publié: (2025)

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

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

Charon: An Analysis Framework for Rust
par: Ho, Son, et autres
Publié: (2024)

Object Graph Programming
par: Thimmaiah, Aditya, et autres
Publié: (2024)

The Stackage Repository: An Exploratory Study of its Evolution
par: Leger, Paul, et autres
Publié: (2023)

PolyDebug: A Framework for Polyglot Debugging
par: Houdaille, Philémon, et autres
Publié: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
par: Rechenberger, Sascha, et autres
Publié: (2023)

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

Cache Persistence Analysis: Finally Exact
par: Stock, Gregory, et autres
Publié: (2019)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
par: Xiong, Jing, et autres
Publié: (2026)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
par: Chen, ZhenDong, et autres
Publié: (2025)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

The Vienna Architecture Description Language
par: Freitag, Florian, et autres
Publié: (2024)