Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

First Page		Document Content
Date: 2015-02-16 13:00:00 Software engineering Compiler optimizations Compiler construction Programming language theory Computing Data-flow analysis Control flow graph Variable Scope Static single assignment form Aliasing Program analysis		Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Download Document from Source Website File Size: 230,14 KB Share Document on Facebook

	Aliasing control with view-based typestate Filipe Militão1,2 Jonathan Aldrich1 Luís Caires2 DocID: 1udFj - View Document
	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Optimal Delta-Sigma Modulation Based Noise Shaping for Truly Aliasing-Free digital PWM Ma, R.; Tanovic, O.; Teo, K.H. DocID: 1tGl9 - View Document
	TYPOGRAPHY TERMS h ANTI-ALIASING Semi-transparent pixels along the DocID: 1tvEt - View Document
	TYPOGRAPHY TERMS h ANTI-ALIASING Semi-transparent pixels along the DocID: 1tsvR - View Document
	Contents 1. Introduction 2. Chebyshev Points and Interpolants 3. Chebyshev Polynomials and Series 4. Interpolants, Projections, and Aliasing DocID: 1t82Y - View Document