Abstract similarity analysis

DOI10.1016/J.ENTCS.2017.02.006zbMath1412.68037OpenAlexW2595205408WikidataQ113317601 ScholiaQ113317601MaRDI QIDQ1650963

Mila Dalla Preda, Vanessa Vidali

Publication date: 16 July 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2017.02.006

zbMATH Keywords

abstract interpretationcode similarity

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Winnowing

Cites Work

• Unnamed Item
• Abstract Symbolic Automata
• Minimization of symbolic automata

This page was built for publication: Abstract similarity analysis