HOMER

MaRDI QIDQ25236swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-02658-4_51

Cited in

(6)

• Static Analysis
• HECTOR
• C-SHORe
• GTRECS2
• A fragment of ML decidable by visibly pushdown automata
• C-SHORe: a collapsible approach to higher-order verification

This page was built for software: HOMER