• 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...
  • SPY

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

  • Referenced in 95 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...
  • 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...
  • Mungo

  • Referenced in 1 article [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 188 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...
  • 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...
  • future

  • Referenced in 2 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...
  • 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...
  • PLab

  • Referenced in 1 article [sw17912]
  • slave Matlab sessions ”underneath” the current session forming a socalled Virtual Machine ... performed independent of one another. These types of problems are commonly referred to as embarrasingly...
  • tasks.lib

  • Referenced in 1 article [sw35692]
  • Singular type task; an object of this type is a command (given by a string ... tasks within the same Singular session will not use more computational resources than provided...