• Idris

  • Referenced in 34 articles [sw20011]
  • program’s behaviour can be specified precisely in the type. It is compiled, with eager...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • Dependent and existential types are used to add flexibility, allowing the behaviour of these launched ... processes, encoded as process types, to depend on the host’s instantiation of the incoming ... contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based on typed actions...
  • STL

  • Referenced in 79 articles [sw11800]
  • order to customize the memory management. Allocator types are accountable for allocation and deallocation ... scenarios that may cause undefined or weird behaviour at runtime. These scenarios are related...
  • Irdis

  • Referenced in 19 articles [sw09690]
  • program’s behaviour can be specified precisely in the type. It is compiled, with eager...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • fashion. It targets the specification of system behaviour in a process-algebraic style ... elements in the form of abstract data types. The μCRL toolset (see http://www.cwi.nl/ mcrl...
  • FracPECE

  • Referenced in 54 articles [sw24209]
  • mathematical model for the description of the behaviour of viscoplastic materials. The model contains ... these equations is based on a PECE-type approach...
  • KORRIGAN

  • Referenced in 1 article [sw24328]
  • systems with both dynamic (behaviour, communication, concurrency) and static (data type) aspects. We provide ... view concepts to specify data types, behaviours and compositions in a uniform...
  • TCOZ

  • Referenced in 8 articles [sw03382]
  • paper firstly demonstrates the development of a type checker for detecting static semantic errors ... statechart diagrams for visualising the dynamic system behaviour...
  • SPARK95

  • Referenced in 2 articles [sw03386]
  • imposing a notion of behavioural subtyping between a type and all its subtypes. Behavioural subtyping ... discharged based only on nominal/declared types. An example of proof is also presented...
  • Ginsim

  • Referenced in 29 articles [sw09090]
  • engine to compute the corresponding qualitative dynamical behaviour. Our computational approach is illustrated ... disc. Our simulations qualitatively reproduce the wild-type developmental pathway, as well as the outcome...
  • XPTO

  • Referenced in 2 articles [sw15781]
  • generically for different data types, and only specify specific behaviours for a few relevant subtypes...
  • Shonky

  • Referenced in 2 articles [sw33161]
  • effectful programming needs dependent types to model the correctness of behaviour with respect to status...
  • SimPL

  • Referenced in 1 article [sw26255]
  • define: defect structures (type, size, concentration, and spatial distribution); behaviour of the positrons in each...
  • half

  • Referenced in 1 article [sw32909]
  • point type along with corresponding arithmetic operators, type conversions and common mathematical functions. It aims ... accurately mimic the behaviour of the built-in floating-point types at the best performance...
  • TUBA3

  • Referenced in 8 articles [sw06145]
  • location of the nodes and the possible types of nodal DOFs. A set of necessary ... element class meets the necessary conditions. The behaviour of the resulting elements is checked numerically...
  • Hume

  • Referenced in 5 articles [sw22188]
  • level features including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures ... features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy...
  • SISYFE

  • Referenced in 1 article [sw16540]
  • functioning when changing different hypotheses of behaviour of its components. The SNCF research department ... signalling systems, types of train products, categories of rolling-stock and driver behaviour...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • Analyzer for ABS. ABS is an abstract behavioural specification language to model distributed concurrent systems ... functional sub-language over abstract data types is used to specify internal, sequential computations...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • graph, state space, etc.) corresponding to the behaviour of this specification. caesar itself does ... optionally accompanied by filename.h, which provides C types and functions implementing the LOTOS sorts...
  • MI-Sim

  • Referenced in 1 article [sw17108]
  • using mechanistic approaches to describe the dynamic behaviour and properties of the system through sets ... ecological population type models, allowing for rapid assessment of their dynamical and behavioural properties...