Imagen de Portada

(Towards a) Statistical Probabilistic Lazy Lambda Calculus

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Jagadeesan, Radha
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science D.3.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Restructuring a concurrent refinement algebra
por: Hayes, Ian J., et al.
Publicado: (2024)

Probabilistic imperative process algebra
por: Middelburg, C. A.
Publicado: (2026)

Reasoning about distributive laws in a concurrent refinement algebra
por: Meinicke, Larissa A., et al.
Publicado: (2024)

An example of goal-directed, calculational proof
por: Backhouse, Roland, et al.
Publicado: (2023)

Bounded Modal Logic
por: Murase, Yuito, et al.
Publicado: (2026)

Model Checking Probabilistic Operator Precedence Automata
por: Pontiggia, Francesco, et al.
Publicado: (2024)

A formal specification of the jq language
por: Färber, Michael
Publicado: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
por: Piróg, Maciej, et al.
Publicado: (2025)

Well-Scoped Locally Nameless Representation of Syntax
por: Pitts, Andrew M.
Publicado: (2026)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
por: van Glabbeek, Rob, et al.
Publicado: (2025)

Unified Fairness for Weak Memory Verification
por: Abdulla, Parosh Aziz, et al.
Publicado: (2023)

Data reification in a concurrent rely-guarantee algebra
por: Meinicke, Larissa A., et al.
Publicado: (2024)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
por: Xu, Xiong, et al.
Publicado: (2025)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
por: Xu, Qiyuan, et al.
Publicado: (2024)

Explicit Weakening
por: Wadler, Philip
Publicado: (2024)

Reasoning about expression evaluation under interference
por: Hayes, Ian J., et al.
Publicado: (2024)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
por: Chiari, Michele, et al.
Publicado: (2024)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
por: Reinhard, Tobias
Publicado: (2024)

Verification of E-Voting Algorithms in Dafny
por: Büttner, Robert, et al.
Publicado: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
por: Sextl, Florian, et al.
Publicado: (2023)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
por: Esen, Zafer, et al.
Publicado: (2025)

Automatic Function Annotations for Hoare Logic
por: Matichuk, Danielle
Publicado: (2012)

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

Simple Types for Polymorphic Functions
por: Jay, Barry, et al.
Publicado: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
por: Adams, Robin, et al.
Publicado: (2015)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
por: Stepanenko, Sergei, et al.
Publicado: (2025)

Uniqueness is Separation
por: O'Connor, Liam, et al.
Publicado: (2026)

Constrained LTL Specification Learning from Examples
por: Zhang, Changjian, et al.
Publicado: (2024)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Complementing an imperative process algebra with a rely/guarantee logic
por: Middelburg, C. A.
Publicado: (2025)

Modal Verification Patterns for Systems Software
por: Kuru, Ismail, et al.
Publicado: (2025)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
por: Wang, Peixin, et al.
Publicado: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

Safety, Relative Tightness and the Probabilistic Frame Rule
por: Jereb, Janez Ignacij, et al.
Publicado: (2025)

Probabilistic Epistemic Dynamic Agentive Logic
por: Logan, Shay Allen
Publicado: (2026)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
por: Grabmayer, Clemens, et al.
Publicado: (2025)

Multisets and Distributions
por: Kozen, Dexter, et al.
Publicado: (2023)

Quasi-stratified Order Semantics of Concurrency
por: Koutny, Maciej, et al.
Publicado: (2024)

Extending the Quantitative Pattern-Matching Paradigm
por: Alves, Sandra, et al.
Publicado: (2024)