Buchumschlag

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Costa, Diana, Hu, Raymond
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Peters, Kirstin, et al.
Veröffentlicht: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2025)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
von: Bohrer, Rose
Veröffentlicht: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
von: Verbitskaia, Ekaterina, et al.
Veröffentlicht: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
von: Chang, Stephen
Veröffentlicht: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)

Proceedings 16th International Workshop on Graph Computation Models
von: Lambers, Leen, et al.
Veröffentlicht: (2026)

Proceedings 13th International Workshop on Developments in Computational Models
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
von: Nerode, Anil, et al.
Veröffentlicht: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

Reduction for Structured Concurrent Programs
von: Gangamreddypalli, Namratha, et al.
Veröffentlicht: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
von: Saurin, Alexis
Veröffentlicht: (2025)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
von: Lang, Frédéric, et al.
Veröffentlicht: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
von: Moreira, Nelma, et al.
Veröffentlicht: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
von: Arusoaie, Andrei, et al.
Veröffentlicht: (2025)

Conversational Concurrency with Dataspaces and Facets
von: Caldwell, Sam, et al.
Veröffentlicht: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

A Brief Survey of Formal Models of Concurrency
von: Averill, Charles
Veröffentlicht: (2024)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
von: Yang, Xiaoxiao, et al.
Veröffentlicht: (2017)

Towards General-Purpose Data Discovery: A Programming Languages Approach
von: Kang, Andrew, et al.
Veröffentlicht: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
von: Haas, Julian, et al.
Veröffentlicht: (2023)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
von: Beheshti, Amin
Veröffentlicht: (2024)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
von: Galasso-Carbonnel, Jessie, et al.
Veröffentlicht: (2023)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)