activity
20092026
most citedAlgebraic properties of structured context-free languages: old approaches and novel developments

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

Syntax-driven Incremental Program Verification of Matching Logic Properties

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +2

Incrementality is a fundamental design principle to master the complexity of large, long-lived software systems. This principle has been embraced by agile development processes and…