Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

First Page		Document Content
Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory		Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Download Document from Source Website File Size: 301,94 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