Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!julius.cs.uiuc.edu!psuvax1!swatsun!swatsun!gessel From: gessel@carthage.cs.swarthmore.edu (Daniel Mark Gessel) Newsgroups: comp.lang.misc Subject: Re: Optimizing Message-ID: Date: 16 Nov 90 20:36:14 GMT References: <5020:Nov1518:23:0790@kramden.acf.nyu.edu> <2883@exodus.Eng.Sun.COM> Sender: news@cs.swarthmore.edu Organization: Swarthmore College, Swarthmore Pa. Lines: 14 In-Reply-To: chased@rbbb.Eng.Sun.COM's message of 15 Nov 90 21:28:14 GMT Nntp-Posting-Host: carthage I've seen a number of mentions of pragmas/assertions. Can anybody give references to how these are done? (i.e. what kind of language is used to specify these assertions, where do they go. When I read assertion, I think math/logic etc). Anything about using multiple pragmas/assertions in a program for different target machines? Dan -- Daniel Mark Gessel Independent Software Consultant Internet: gessel@cs.swarthmore.edu and Developer My opinions are not necessarily representative of those of Swarthmore College.