A formalization of programs in first-order logic with a discrete linear order

DOI10.1016/j.artint.2016.01.014zbMath1352.68065MaRDI QIDQ274400

Fangzhen Lin

Publication date: 22 April 2016

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2016.01.014

zbMATH Keywords

first-order logic; program semantics; reasoning about programs

Mathematics Subject Classification ID

03B70: Logic in computer science

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

Uses Software

• GOLOG
• Daikon