The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side e ects of expression evaluation. This also allows e ects to be e ectively encapsulated by lexical scopes, with enforcement provided by type checking. A type-and-e ects analysis supports type inference. Type soundness and completeness theorems establish the coherence ...

We summarize recent progress in understanding the role of higher-derivative terms in the asymptotic safety scenario of gravity. Extending previous computations based on the functional renormalization group approach by including a Weyl-squared term in the ansatz for the effective action, further evidence for the existence of a non-Gaussian fixed point is found. The fixed point also persists upon...

[Context and motivation] Software safety requirements are fundamental in the definition of risk reduction measures for safety critical systems, since they are developed to satisfy the system safety constraints as identified by mandated safety analyses. It is therefore imperative that the requirements are defined clearly and precisely. [Question/Problem] We describe our experiences in introducin...

OBJECTIVES To identify the terms and definitions used by organisations involved in medication safety and to examine differences in functional meaning using a novel scenario assignment method. METHODS Medication safety related terms and definitions were sought from websites of organisations associated with medication safety. The functional meanings of terms and definitions were analysed and co...

The goals of the design process are usually manifold. Clearly the resulting system must satisfy its functional requirements, and will normally also have to fulfil certain non-functional requirements which might include such factors as: size; weight; cost and power consumption. When the operation of a system has implications for safety, the system will also have a set of safety requirements. The...

The ability to assess the risks of functional safety railway tracks allows harmonizing characteristics track elements under certain operating conditions maintenance for efficient use structure throughout its life cycle. concept detailing interaction rolling stock and was used productive solution tasks infrastructure assessment. paper formed an approach analytical determination problems deformab...