ALICe: A Benchmark to Improve Affine Loop Invariant Computation

First Page		Document Content
Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow		ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 209,59 KB Share Document on Facebook

	MLP on Wednesday, July 18th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018 DocID: 1xVNY - View Document
	Towards Mechanized Program Verification with Separation Logic Tjark Weber DocID: 1xUG7 - View Document
	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ DocID: 1xUvR - View Document
	MLP on Thursday, July 19th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018 DocID: 1xTSe - View Document
	Towards a Program Logic for JavaScript Philippa Gardner Sergio Maffeis Gareth Smith DocID: 1xTKo - View Document