Integration of Linear Constraints with a Temporal Logic Programming Language

This paper investigates the integration of linear constraints with MSVL. To this end, we first define linear constraint statements and discuss related issues of the incorporation. Further, for calling SMT solvers to solve the newly introduced constraints, we give a translation algorithm from state p...

Celý popis

Podrobná bibliografie

Vydáno v:	2013 International Symposium on Theoretical Aspects of Software Engineering s. 157 - 164
Hlavní autoři:	Qian Ma, Zhenhua Duan, Mengfei Yang
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.07.2013
Témata:	Arrays Logic programming Noise measurement Optimization Semantics Syntactics
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!