Slogans in education have been the subject of critical analysis – at least context philosophy for more than half a century. Some these slogans are no longer relevant or frequently used, while their analyses and explanations still an appropriate theoretical basis understanding new educational slogans. One findings given by French philosopher Reboul that holds true is almost always try to conceal...

Solidarity is a complex, abstract, multifaceted concept that may be unpacked and used in variety of situations, ranging from socio-economic political contexts to the currently salient pandemic context. Defining solidarity, either theory or practice, requires connections other less abstract ideas, which are more familiar people. In this paper, I examine way solidarity defined explained Romanian ...

We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pervasive system verification and allows to transfer correctness properties from the C0 layer to the assembler and hardware layers. The compiler verification is split into two parts: the correctness of the compiling spec...