Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Program Verification using Constraint Handling Rules and Array Constraint Generalizations* - MaRDI portal

Program Verification using Constraint Handling Rules and Array Constraint Generalizations*

From MaRDI portal

Publication:4589602

Jump to:navigation, search

DOI10.3233/FI-2017-1461zbMath1374.68113MaRDI QIDQ4589602

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Emanuele De Angelis

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

program transformation constraint logic programming program verification constraint handling rules

Mathematics Subject Classification ID

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

Related Items (3)

Solving Horn Clauses on Inductive Data Types Without Induction ⋮ Unnamed Item ⋮ Reasoning in the theory of heap: satisfiability and interpolation

This page was built for publication: Program Verification using Constraint Handling Rules and Array Constraint Generalizations*

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4589602&oldid=18746629"