Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Costa, Diana, Hu, Raymond
Format:	Preprint
Publié:	2024
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

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Peters, Kirstin, et autres
Publié: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Derakhshan, Farzaneh, et autres
Publié: (2025)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
par: Bohrer, Rose
Publié: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
par: Verbitskaia, Ekaterina, et autres
Publié: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
par: Chang, Stephen
Publié: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

Proceedings 16th International Workshop on Graph Computation Models
par: Lambers, Leen, et autres
Publié: (2026)

Proceedings 13th International Workshop on Developments in Computational Models
par: Alves, Sandra, et autres
Publié: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
par: De Angelis, Emanuele, et autres
Publié: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
par: Kutsia, Temur, et autres
Publié: (2024)

Reduction for Structured Concurrent Programs
par: Gangamreddypalli, Namratha, et autres
Publié: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
par: Vidal, Germán
Publié: (2023)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
par: Chaudhuri, Kaustuv, et autres
Publié: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
par: Saurin, Alexis
Publié: (2025)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2026)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
par: Endrullis, Jörg, et autres
Publié: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
par: Lang, Frédéric, et autres
Publié: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
par: Fedchin, Aleksandr, et autres
Publié: (2025)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
par: Moreira, Nelma, et autres
Publié: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
par: Flanagan, Cormac, et autres
Publié: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
par: Zhang, Kaiwen, et autres
Publié: (2026)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
par: Hu, Lifan
Publié: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
par: Arusoaie, Andrei, et autres
Publié: (2025)

Conversational Concurrency with Dataspaces and Facets
par: Caldwell, Sam, et autres
Publié: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Logical Relations for Session-Typed Concurrency
par: Balzer, Stephanie, et autres
Publié: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

A Brief Survey of Formal Models of Concurrency
par: Averill, Charles
Publié: (2024)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
par: Yang, Xiaoxiao, et autres
Publié: (2017)

Towards General-Purpose Data Discovery: A Programming Languages Approach
par: Kang, Andrew, et autres
Publié: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
par: Haas, Julian, et autres
Publié: (2023)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
par: Beheshti, Amin
Publié: (2024)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
par: Galasso-Carbonnel, Jessie, et autres
Publié: (2023)

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

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)