Re: Optimization techniques

"Rick C. Hodgin" <rick.c.hodgin@gmail.com>
Wed, 24 Apr 2019 10:16:18 -0400

          From comp.compilers
Related articles
[9 earlier articles]
Re: Optimization techniques rick.c.hodgin@gmail.com (Rick C. Hodgin) (2019-04-19)
Re: Optimization techniques DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2019-04-20)
Re: Optimization techniques gneuner2@comcast.net (George Neuner) (2019-04-20)
Re: Optimization techniques david.brown@hesbynett.no (David Brown) (2019-04-23)
Re: Optimization techniques david.brown@hesbynett.no (David Brown) (2019-04-23)
Re: Optimization techniques david.brown@hesbynett.no (David Brown) (2019-04-23)
Re: Optimization techniques rick.c.hodgin@gmail.com (Rick C. Hodgin) (2019-04-24)
Re: Optimization techniques martin@gkc.org.uk (Martin Ward) (2019-04-25)
Re: Optimization techniques david.brown@hesbynett.no (David Brown) (2019-04-25)
Re: Optimization techniques 847-115-0292@kylheku.com (Kaz Kylheku) (2019-04-25)
Re: Optimization techniques 847-115-0292@kylheku.com (Kaz Kylheku) (2019-04-26)
Re: Optimization techniques 847-115-0292@kylheku.com (Kaz Kylheku) (2019-04-26)
Re: Optimization techniques alexfrunews@gmail.com (2019-04-26)
[19 later articles]
| List of all articles for this month |
From: "Rick C. Hodgin" <rick.c.hodgin@gmail.com>
Newsgroups: comp.compilers
Date: Wed, 24 Apr 2019 10:16:18 -0400
Organization: Liberty Software Foundation
References: 19-04-004 19-04-012 19-04-013 19-04-014
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="73871"; mail-complaints-to="abuse@iecc.com"
Keywords: design, optimize
Posted-Date: 24 Apr 2019 10:21:25 EDT
Content-Language: en-US

On 4/20/2019 1:47 PM, Hans-Peter Diettrich wrote:
> Am 20.04.2019 um 01:11 schrieb Rick C. Hodgin:
>
>> My language focuses on data correctness, not speed.  Computers
>> today are fast enough for 99% of general purpose apps.  It's
>> time for them to mature into data correctness in all areas.
>
> Did you have a look at Ada and Pascal implementations?


I've looked at Pascal, but never Ada. My own language actually takes
some cues from Pascal's way of maintaining data integrity in the
presence of errant code, but still relaxes everything so you can still
truly shoot your program in its figurative foot.


> I also have been told that certified Java compilers (for µC) are
> guaranteed to produce bit-identical results on all supported platforms.


C and C++ can often do this as well as the CPUs that exist are often
either truly IEEE-754 compliant, or have the ability to be so (such as
with x86 where you must do an intermediate store and re-load to have
appropriate (legal IEEE-754) rounding).


--
Rick C. Hodgin

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.