Re: Optimizing

Article View: comp.lang.misc

Article #2129

#2129

From: Daniel Mark Gessel
Date: Fri, 16 Nov 1990 20:36

14 lines
1237 bytes

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.

Technical Details

Message-ID: <GESSEL.90Nov16143614@carthage.cs.swarthmore.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!julius.cs.uiuc.edu!psuvax1!swatsun!swatsun!gessel

References: <GESSEL.90Nov14134457@carthage.cs.swarthmore.edu> <5020:Nov1518:23:0790@kramden.acf.nyu.edu> <2883@exodus.Eng.Sun.COM>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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: <GESSEL.90Nov16143614@carthage.cs.swarthmore.edu>
Date: 16 Nov 90 20:36:14 GMT
References: <GESSEL.90Nov14134457@carthage.cs.swarthmore.edu>
 <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

Reply to Parent Message