Survey of programming languages and their accompanying paradigms. Basic principles of syntax, semantics, implementation, and pragmatics are addressed. The survey will include representatives from the ...

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 ...