Search

• < Previous
• 1
• Next >

---

Semantics and Algorithms for Parametric Monitoring

Grigore Rosu ; Feng Chen.

Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution traces are frequently parametric, i.e., they contain events with parameter bindings. Each parametric trace usually&nbsp;[&hellip;]

---

Matching Logic

Grigore Rosu.

This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function&nbsp;[&hellip;]

---