Filters








3 Hits in 1.3 sec

Effpi

Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019 Proceedings of the Tenth ACM SIGPLAN Symposium on Scala - Scala '19  
We present Effpi: an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty, with verification capabilities based on type-level model checking.  ...  Effpi provides: (1) a set of Dotty classes for describing communication protocols as types; (2) an embedded DSL for concurrent programming, with process-based and actorbased abstractions; (3) a Dotty compiler  ...  Conclusion, Vision, and Future Work We gave an overview of Effpi, a toolkit for strongly-typed message-passing programs in Dotty.  ... 
doi:10.1145/3337932.3338812 dblp:conf/scala/ScalasYB19 fatcat:cu75zdq7ufdcxksnxgawcoprke

Verifying message-passing programs with dependent behavioural types

Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019 Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019  
Verifying Message-Passing Programs with Dependent Behavioural Types PLDI '19, June 22-26, 2019, Phoenix, AZ, USA Definition 2.1. The syntax of λ π ⩽ is in Fig. 2 . Elements of C are run-time syntax.  ...  a typical pattern of actor programs) and higher-order interaction (i.e., sending/receiving mobile code); (3) it is directly embedded in Dotty, as a toolkit called Effpi, offering a simplified actor-based  ...  Step 1: enforcing protocols at compile-time We develop Effpi [64] , a toolkit for message-passing programming in Dotty (a.k.a.  ... 
doi:10.1145/3314221.3322484 dblp:conf/pldi/ScalasYB19 fatcat:o64i4g4flfbx7kkvbrz3ppyyp4

Scala with Explicit Nulls

Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu, Tobias Pape, Robert Hirschfeld
2020 European Conference on Object-Oriented Programming  
The Scala programming language makes all reference types implicitly nullable.  ...  In this paper, we present a modification to the Scala type system that makes nullability explicit in the types.  ...  Name Description Size (LOC) Files scala-pb Scala protocols buffer compiler 37,029 275 squants DSL for quantities 14,367 222 fastparse Parser combinators 13,701 80 effpi Verified message  ... 
doi:10.4230/lipics.ecoop.2020.25 dblp:conf/ecoop/NietoZLCP19 fatcat:rpwuoqpyffdcnampucbxyjcen4