The topic is broad and complex. Even focusing on a particular aspect would take a whole monograph, and indeed there are several dedicated to this purpose. Here the focus is on the relatively new approach of Functional Renormalization Group Equations (FRGE, sometimes called, misleadingly in our opinion, “exact”), and in particular on Wetterich’s equation, which is being widely applied in statist...

This paper discusses extensions to the functional language Erlang which provide a secure execution environment for remotely sourced code. This is in contrast to much existing work which has focused on securing procedural languages. Using a language such as Erlang provides a high degree of inherent run-time safety, which means e ort can be focused on providing a suitable degree of system safety....

There have been many attempts to integrate object-oriented and functional programming. Solving the connicting requirements is dif-cult and only recently has a language, CLOVER, been designed that is both purely functional and purely object-oriented (and retains complete type safety). In this paper, we introduce the CLOVER rewrite rules by presenting a translation from CLOVER to a simple functio...

Most safety regulations and standards concentrate their efforts on intrinsic safety – the possibility that injury or damage could occur due to electric shock, fire, mechanical instability, sharp edges, etc. In this paper we are concerned with functional safety – where the hazards and risks depend upon the correct operation of devices, equipment, systems or installations. IEC 61508 [3] is the ba...

The search for a language which combines both functional and object-oriented features has a long and The aim is to integrate the formal methods beneets of functional programming with the software engineering bene-ts of both paradigms. However, to date we know of no language which can claim to be both purely functional and purely object-oriented (and retains complete type safety). We present CLO...

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. However, despite this established viewpoint, reliably distributing function closures over a network, or using them in concurrent environments nonetheless remains a challenge across FP and OO languages. Our work on Spores takes a step towards more p...

Objectives: An effective safety management requires paying attention to human factors. One of the most important methods for achievement to accident prevention is using safety climate or safety culture. Moreover, some studies suggest that in most organizations behavior contributes to 86-96% of all injuries. This cross-sectional study was performed on the functional units’ workers of Khuzestan P...