A foundation for flow-based program matching

DOI10.1145/1480881.1480897zbMath1315.68176OpenAlexW4301884989MaRDI QIDQ5261510

Julien Brunel, René Rydhof Hansen, Julia L. Lawall, Damien Doligez, Gilles Muller

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480897

zbMATH Keywords

model checkingprogram transformationCTLbug findingprogram matching

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A foundation for flow-based program matching