Buchumschlag

Adapting the MVVM pattern to C++ frontends and Agda-based backends

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Csimma, Viktor
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages D.3.3; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
von: Mirji, Vittal
Veröffentlicht: (2026)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Weak-linearity, globality and in-place update
von: Gramaglia, Hector
Veröffentlicht: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
von: Ouardi, Doha, et al.
Veröffentlicht: (2024)

Repr Types: One Abstraction to Rule Them All
von: Palmkvist, Viktor, et al.
Veröffentlicht: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
von: Allison, Lloyd
Veröffentlicht: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
von: Yoshioka, Takuma, et al.
Veröffentlicht: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

The Complexity of Testing Message-Passing Concurrency
von: Shi, Zheng, et al.
Veröffentlicht: (2025)

Bottom-up computation using trees of sublists (Functional Pearl)
von: Mu, Shin-Cheng
Veröffentlicht: (2023)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Compile-time Security Analysis and Optimization of Sensitive String Producers
von: Samuel, Mike, et al.
Veröffentlicht: (2026)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
von: Ates, Salih, et al.
Veröffentlicht: (2024)

Uniqueness is Separation
von: O'Connor, Liam, et al.
Veröffentlicht: (2026)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)

Relational Reactive Programming: miniKanren for the Web
von: Donahue, Evan
Veröffentlicht: (2024)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
von: Volkov, Dmitri, et al.
Veröffentlicht: (2025)

Dynamic String Generation and C++-style Output in Fortran
von: Mohr, Marcus
Veröffentlicht: (2024)

Send: Objects, History, and Transactions in a Single-Verb Kernel
von: Goes, Christopher
Veröffentlicht: (2026)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
von: McCann, Alan L.
Veröffentlicht: (2026)

Policy as Code, Policy as Type
von: Fuchs, Matthew D.
Veröffentlicht: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
von: Vogel, Martin, et al.
Veröffentlicht: (2026)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
von: Siek, Jeremy G.
Veröffentlicht: (2024)

Controlling Copatterns: There and Back Again (Extended Version)
von: Downen, Paul
Veröffentlicht: (2025)

Weak-Linear Types
von: Gramaglia, Hector
Veröffentlicht: (2024)