Functional Programming has been around for quit e some time. Its characteristic features include high order functions, lazy evaluation, side-effect freeness, etc. These characteristics are ...

Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...

In the scope of this paper, a paradigm is a general modeling framework or a distinct set of methodologies to solve a class of tasks. For instance, sequence labeling is a mainstream paradigm for named ...