Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories

In program analysis, the synthesis of models of logical theories representing the program semantics is often useful to prove program properties. We use order-sorted first-order logic as an appropriate framework to describe the semantics and properties of programs as given theories. Then we investiga...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of automated reasoning 2018-04, Vol.60 (4), p.465-501
Hauptverfasser:	Lucas, Salvador, Gutiérrez, Raúl
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Computer Science Linear algebra Linear transformations Mathematical analysis Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical models Matrix methods Semantics Symbolic and Algebraic Manipulation Synthesis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!