Extracting Frame Conditions from Operation Contracts

First Page		Document Content
Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant		Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Download Document from Source Website File Size: 277,43 KB Share Document on Facebook

	Grivaux, Julien Tian’s invariant of the Grassmann manifold. (English) Zbl J. Geom. Anal. 16, No. 3, For a compact Kählerian manifold M , Tian’s invariant α(M ) is connected to the ex DocID: 1xUQr - View Document
	A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s DocID: 1xUCC - View Document
	Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an DocID: 1xUa0 - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1340) A VIEW ON INVARIANT RANDOM SUBGROUPS Tsachik Gelander ‫גלנדר( )צחיק‬ DocID: 1xU9e - View Document
	Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA DocID: 1xTMY - View Document