This paper introduces matching logic, a novel framework for defining axiomatic semantics for
programming languages, inspired from operational semantics. Matching logic specifications …

With the emergence of Business Process Outsourcing and Cloud Computing, enterprises
are looking for available business processes outside of their organizations to quickly adopt …

This paper describes a formal executable semantics for the Verilog hardware description
language. The goal of our formalization is to provide a concise and mathematically rigorous …

Clone Detection has considerably evolved over the last decade, leading to approaches with
better results but with increasing complexity. Most of the existing approaches are limited to …

K is a rewriting-based framework for defining programming languages. K-Maude is a tool
implementing K on top of Maude. K-Maude provides an interface accepting K modules along …

This article discusses self-organising assembly systems (SOAS), a type of assembly systems
that (1) participate in their own design by spontaneously organising themselves in response …

A plethora of programming languages have been and continue to be developed to keep
pace with hardware advancements and the ever more demanding requirements of software …

The K framework is a specialization of rewriting logic for defining programming language
semantics. This paper introduces the model checking with predicate abstraction technique …

The K framework is a rewrite-based executable semantic framework built with the purpose to
define programming languages and formal analysis methods. This paper introduces K …

We describe an extension of P systems where each membrane has an associated control
nucleus responsible with the generation of the rules to be applied in that membrane. The …