ALICe: A Framework to Improve Affine Loop Invariant Computation

First Page		Document Content
Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow		ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 208,92 KB Share Document on Facebook

	Non-homogeneous Generalization in Privacy Preserving Data Publishing ∗ W. K. Wong, Nikos Mamoulis and David W. Cheung Department of Computer Science, The University of Hong Kong DocID: 1rscI - View Document
	Microsoft Word - Borgatti & Halgin Mapping Culture.docx DocID: 1rfun - View Document
	Joint People, Event, and Location Recognition in Personal Photo Collections using Cross-Domain Context ? Dahua Lin1,2 , Ashish Kapoor2 , Gang Hua3 , and Simon Baker2 1 DocID: 1r8QH - View Document
	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu DocID: 1qZex - View Document
	C:/Documents and Settings/Kostas Stefanidis/Desktop/final-survey/survey.dvi DocID: 1pPSK - View Document