Transformation-Enabled Precondition Inference

DOI10.1017/s1471068421000272zbMath1530.68065arXiv2108.03178MaRDI QIDQ6063861

Peter J. Stuckey, Harald Søndergaard, Bishoksan Kafle, Peter Schachte, Graeme Gange

Publication date: 12 December 2023

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.03178

zbMATH Keywords

program transformation; abstract interpretation; precondition inference; optimal precondition

Mathematics Subject Classification ID

03B70: Logic in computer science

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

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)