A Historical Perspective on Runtime Assertion Checking in Software Development

First Page		Document Content
Date: 2008-02-04 05:56:15 Logic in computer science Assertion Postcondition Precondition Class invariant Eiffel Monitor Test Data Generation Comparison of C Sharp and Java Software engineering Computer programming Computing		A Historical Perspective on Runtime Assertion Checking in Software Development Add to Reading List Source URL: discovery.ucl.ac.uk Download Document from Source Website File Size: 960,66 KB Share Document on Facebook

	Uniqueness of Invariant Lagrangian Graphs in a Homology or a Cohomology Class. Albert Fathi, Alessandro Giuliani and Alfonso Sorrentino March 6, 2009 Given a smooth compact Riemannian manifold M and a Hamiltonian H on th DocID: 1vk9j - View Document
	VALUATIONS ON RATIONAL FUNCTION FIELDS THAT ARE INVARIANT UNDER PERMUTATION OF THE VARIABLES F.-V. KUHLMANN, K. KUHLMANN, AND C. VIS¸AN Abstract. We study and characterize the class of valuations on rational functions f DocID: 1t5BL - View Document
	157 Documenta Math. Equivariant Weierstrass Preparation and Values of L-functions at Negative Integers DocID: 1rflD - View Document
	TRACES OF CLASS INVARIANTS DAEYEOL JEON, SOON-YI KANG*, CHANG HEON KIM Abstract. Zagier showed that the traces of singular values of the modular j-invariant are Fourier coeﬃcients of a weakly holomorphic modular form o DocID: 1rceK - View Document
	ON THE STAR-CONSTRUCTION FOR TOPOLOGICAL 4-MANIFOLDS PETER TEICHNER Abstract. We discuss existence and uniqueness of the ∗-construction which reverses the Kirby-Siebenmann invariant of a topological 4-manifold while fi DocID: 1quJX - View Document