• Lolliproc

  • Referenced in 5 articles [sw22624]
  • type systems for concurrent programs -- e.g., session types -- which suggests applicability to the problems ... combine to provide the functionality of session types. Lolliproc features a simple process calculus “under...
  • future

  • Referenced in 11 articles [sw15765]
  • attached in external R sessions whenever needed. All types of futures are designed to behave ... number of cores, background sessions or cluster nodes available. Additional types of futures are provided...
  • ANSYS-CFX

  • Referenced in 108 articles [sw06391]
  • physical models to capture virtually any type of phenomena related to fluid flow. The solver ... extensive capabilities for customization and automation using session files, scripting and a powerful expression language...
  • SPY

  • Referenced in 6 articles [sw22152]
  • Building on the theory of multiparty session types, our toolchain implementation validates communication safety properties...
  • Mungo

  • Referenced in 2 articles [sw30237]
  • protocols with Mungo and StMungo: A session type toolchain for Java. Static typechecking ... many standard programming languages. However, static typing focuses on data rather than communication, and therefore ... distributed systems. The theory of session types provides a basis for tackling this problem ... second tool, StMungo, takes a session type describing a communication protocol, and generates a typestate...
  • Rcpp

  • Referenced in 290 articles [sw08385]
  • supported (vectors, functions, environment, etc ...) and each type is mapped to a dedicated class ... both interactive use of C++ within R sessions as well as to support R package...
  • Rast

  • Referenced in 1 article [sw41190]
  • Rast: a language for resource-aware session types. Traditional session types prescribe bidirectional communication protocols ... adhere to the protocols. However, simple session types cannot capture properties beyond the basic type ... response, recent work has extended session types with refinements from linear arithmetic, capturing intrinsic attributes ... sequential and parallel complexity bounds on session-typed programs. The Rast language provides an open...
  • session-ocaml

  • Referenced in 1 article [sw32937]
  • session-ocaml, a novel library for session-typed concurrent/distributed programming in OCaml. Our technique solely ... parametric polymorphism, which can encode core session type structures with strong static guarantees ... ideas are: (1) polarised session types, which give an alternative formulation of duality enabling OCaml ... automatically infer an appropriate session type in a session with a reasonable notational overhead...
  • Timed Conversation

  • Referenced in 1 article [sw22153]
  • real-time extension of Multiparty Session Types to the verification and enforcement of time-related ... page. Context and Background: (Untimed) Multiparty Session Types (MPSTs) have been applied in an existing...
  • Subterranean

  • Referenced in 2 articles [sw40714]
  • computation, stream encryption and several types of session authenticated encryption schemes. At its core...
  • ctensor

  • Referenced in 1 article [sw27186]
  • ctensor”). To begin an interactive session with ctensor, type csetup(). You are first asked...
  • SATMC

  • Referenced in 8 articles [sw09469]
  • assumptions of perfect cryptography and of strong typing, SATMC performs a bounded analysis ... considering scenarios with a finite number of sessions whereby messages are exchanged on a channel...
  • drat

  • Referenced in 1 article [sw16285]
  • information to the current R session. Two primary types of repositories are support: gh-pages...
  • HR

  • Referenced in 29 articles [sw10392]
  • themselves, the concepts include element types, subgroup types, etc., the conjectures include implication ... give details of a representative session in S3. As discussed in S4, the applications...
  • Gauss-Jordan

  • Referenced in 3 articles [sw28564]
  • Analysis session of Isabelle, where matrices are represented as functions over finite types. We have...
  • SIMAGE

  • Referenced in 4 articles [sw10459]
  • presented. Each run is assigned a unique session, which allows the user to inspect ... time. SIMAGE provides the user with three types of text files containing: (i) the parameters...
  • Proviola

  • Referenced in 10 articles [sw00737]
  • camera, which films a user’s interactive session with a PA as a movie ... claim that movies are the right type of data to be stored in an encyclopedia...
  • apims

  • Referenced in 1 article [sw27565]
  • sessions and Symmetric synchronization. The key feature of this interpretor is the symmetric sum types...
  • ff

  • Referenced in 5 articles [sw23393]
  • POSIXct’, ’Date’ and custom close-to-atomic types. ff not only has native C-support ... stored and reopened across R sessions. ff files can be shared by multiple ... disk I/O, ’logicals’ and non-standard data types get stored native and compact on binary...
  • TrioCFD

  • Referenced in 2 articles [sw21336]
  • Stokes equations with the trioCFD code -- benchmark session. This paper is devoted to the study ... obtained with TrioCFD differs according to the types of mesh used for simulations, the viscosity...