Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
- 29 October 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structuresProceedings of the ACM on Programming Languages, 2019
- Introduction to Runtime VerificationPublished by Springer Science and Business Media LLC ,2018
- Monitoring networks through multiparty session typesTheoretical Computer Science, 2017
- Behavioral Types in Programming LanguagesFoundations and Trends® in Programming Languages, 2016
- Practical Optional Types for ClojurePublished by Springer Science and Business Media LLC ,2016
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonFormal Methods in System Design, 2014
- Why3 — Where Programs Meet ProversLecture Notes in Computer Science, 2013
- A Theory of Design-by-Contract for Distributed Multiparty InteractionsLecture Notes in Computer Science, 2010
- VCC: A Practical System for Verifying Concurrent CLecture Notes in Computer Science, 2009
- Boogie: A Modular Reusable Verifier for Object-Oriented ProgramsLecture Notes in Computer Science, 2006