Buchumschlag

Cache Persistence Analysis: Finally Exact

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Stock, Gregory, Hahn, Sebastian, Reineke, Jan
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Programming Languages 68Q60 F.3.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Emulation-Completeness of Programming Languages
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

The Relative Monadic Metalanguage
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

On the computational complexity of Data Flow Analysis
von: Sood, Gaurav, et al.
Veröffentlicht: (2013)

Compositionality in Coalgebraic Trace Semantics
von: Jourde, Robin, et al.
Veröffentlicht: (2026)

A Unified Framework for Quantitative Cache Analysis
von: Kahlen, Sophie, et al.
Veröffentlicht: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
von: Mikinka, Anthony
Veröffentlicht: (2025)

Understanding the Nature of Generative AI as Threshold Logic in High-Dimensional Space
von: Levin, Ilya
Veröffentlicht: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

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

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
von: Marshall, Danielle, et al.
Veröffentlicht: (2022)

A First Runtime Analysis of the PAES-25: An Enhanced Variant of the Pareto Archived Evolution Strategy
von: Opris, Andre
Veröffentlicht: (2025)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
von: Rasheed, Abdullah
Veröffentlicht: (2024)

foetus -- Termination Checker for Simple Functional Programs
von: Abel, Andreas
Veröffentlicht: (2024)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
von: Petersson, Johan
Veröffentlicht: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
von: Darshana, Kusal
Veröffentlicht: (2026)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
von: Koomullil, George
Veröffentlicht: (2026)

Discrete Diffusion Models for Language Generation
von: Weligalle, Ashen
Veröffentlicht: (2025)

The Semantics of Metapropramming in Prolog
von: Warren, David S.
Veröffentlicht: (2024)

Conformance Games for Graded Semantics
von: Forster, Jonas, et al.
Veröffentlicht: (2024)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

A robust graph-based approach to observational equivalence
von: Ghica, Dan R., et al.
Veröffentlicht: (2019)

Extending the C/C++ Memory Model with Inline Assembly
von: de Vilhena, Paulo Emílio, et al.
Veröffentlicht: (2024)

A Cartesian Closed Category for Random Variables
von: Di Gianantonio, Pietro, 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)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Combining Mechanical and Agentic Specification Inference for Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
von: Iskander, Ray
Veröffentlicht: (2026)

Operational methods in semantics
von: Amadio, Roberto M.
Veröffentlicht: (2025)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Binarized Neural Networks Converge Toward Algorithmic Simplicity: Empirical Support for the Learning-as-Compression Hypothesis
von: Sakabe, Eduardo Y., et al.
Veröffentlicht: (2025)

Foundational Verification of Smart Contracts through Verified Compilation
von: Sjöberg, Vilhelm, et al.
Veröffentlicht: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

NP-hard problems are not in BQP
von: Czerwinski, Reiner
Veröffentlicht: (2023)

Sample completion, structured correlation, and Netflix problems
von: Coregliano, Leonardo N., et al.
Veröffentlicht: (2025)

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

Analysis of multivariate symbol statistics in primitive rational models
von: Goldwurm, Massimiliano, et al.
Veröffentlicht: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
von: Vandeloise, Mikel
Veröffentlicht: (2025)