Higher order generalization and its application in program verification

DOI10.1023/A:1018952121991MaRDI QIDQ1601844zbMATH OpenFDO

Authors Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya

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)

Recommendations

• scientific article; zbMATH DE number 1301764
• A modular order-sorted equational generalization algorithm
• Generalization from partial parametrization in higher-order type theory
• Order-sorted generalization
• Publication:4721630

Cited in

(11)

• Anti-unification for unranked terms and hedges
• Higher-order pattern anti-unification in linear time
• Unranked second-order anti-unification
• A library of anti-unification algorithms
• Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm
• Order-sorted generalization
• Generalization from partial parametrization in higher-order type theory
• A modular order-sorted equational generalization algorithm
• scientific article; zbMATH DE number 139626 (Why is no real title available?)
• Higher-order program verification via HFL model checking
• Anti-unification and the theory of semirings

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1601844)