Higher order generalization and its application in program verification

DOI10.1023/A:1018952121991zbMath1001.68072MaRDI QIDQ1601844

Masami Hagiya, Masateru Harao, Jianguo Lu, John Mylopoulos

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

inductive inference

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Higher-order pattern anti-unification in linear time ⋮ Unranked second-order anti-unification ⋮ A Library of Anti-unification Algorithms ⋮ A modular order-sorted equational generalization algorithm ⋮ Anti-unification and the theory of semirings ⋮ Anti-unification for unranked terms and hedges

This page was built for publication: Higher order generalization and its application in program verification