The doc and shortvrb Packages∗ Frank Mittelbach† Gutenberg Universit¨at Mainz October 15, 2014 Abstract

First Page		Document Content
Date: 2014-10-15 10:29:55 Macro programming languages Transformation languages LaTeX TeX C preprocessor Macro Man page Make Preprocessor Software Computing Application software		The doc and shortvrb Packages∗ Frank Mittelbach† Gutenberg Universit¨at Mainz October 15, 2014 Abstract Add to Reading List Source URL: ctan.mirror.ac.za Download Document from Source Website File Size: 510,03 KB Share Document on Facebook

	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a DocID: 1tEbJ - View Document
	RATFOR — A Preprocessor for a Rational Fortran Brian W. Kernighan Bell Laboratories Murray Hill, New JerseyABSTRACT DocID: 1tE38 - View Document
	Polyphemus 1.2 User’s Guide ENPC – INRIA – EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, ´ DocID: 1rrSo - View Document
	Passive Tracers Polyphemus Training Session About Purpose: presents how to launch a complete simulation for a passive tracer, gives the example of Chernobyl accident. DocID: 1rh6P - View Document
	Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented. DocID: 1qX9X - View Document