Re: Optimization techniques

From	"Rick C. Hodgin" <rick.c.hodgin@gmail.com>
Newsgroups	comp.compilers
Subject	Re: Optimization techniques
Date	2019-04-24 10:16 -0400
Organization	Liberty Software Foundation
Message-ID	<19-04-019@comp.compilers> (permalink)
References	<19-04-004@comp.compilers> <19-04-012@comp.compilers> <19-04-013@comp.compilers> <19-04-014@comp.compilers>

Show all headers | View raw

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

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Optimization techniques "Rick C. Hodgin" <rick.c.hodgin@gmail.com> - 2019-04-17 09:42 -0400
  Re: Optimization techniques Hans Aberg <haberg-news@telia.com> - 2019-04-17 18:11 +0200
  Re: Optimization techniques George Neuner <gneuner2@comcast.net> - 2019-04-18 04:07 -0400
    Re: Optimization techniques "Rick C. Hodgin" <rick.c.hodgin@gmail.com> - 2019-04-18 11:22 -0400
      Re: Optimization techniques George Neuner <gneuner2@comcast.net> - 2019-04-19 15:48 -0400
    Re: Optimization techniques Hans Aberg <haberg-news@telia.com> - 2019-04-19 00:52 +0200
  Re: Optimization techniques Kaz Kylheku <847-115-0292@kylheku.com> - 2019-04-19 08:49 +0000
    Re: Optimization techniques "Rick C. Hodgin" <rick.c.hodgin@gmail.com> - 2019-04-19 11:48 -0400
      Re: Optimization techniques David Brown <david.brown@hesbynett.no> - 2019-04-23 09:38 +0200
    Re: Optimization techniques David Brown <david.brown@hesbynett.no> - 2019-04-23 09:18 +0200
  Re: Optimization techniques Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2019-04-20 00:27 +0200
    Re: Optimization techniques "Rick C. Hodgin" <rick.c.hodgin@gmail.com> - 2019-04-19 16:11 -0700
      Re: Optimization techniques Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2019-04-20 19:47 +0200
        Re: Optimization techniques "Rick C. Hodgin" <rick.c.hodgin@gmail.com> - 2019-04-24 10:16 -0400
    Re: Optimization techniques George Neuner <gneuner2@comcast.net> - 2019-04-20 18:59 -0400
    Re: Optimization techniques David Brown <david.brown@hesbynett.no> - 2019-04-23 09:43 +0200
      Re: Optimization techniques Martin Ward <martin@gkc.org.uk> - 2019-04-26 20:10 +0100
        Re: Optimization techniques Kaz Kylheku <847-115-0292@kylheku.com> - 2019-04-26 21:11 +0000
        Re: Optimization techniques David Brown <david.brown@hesbynett.no> - 2019-04-28 17:22 +0200
          Re: Optimization techniques Gene Wirchenko <genew@telus.net> - 2019-04-30 18:07 -0700
            Re: Optimization techniques David Brown <david.brown@hesbynett.no> - 2019-05-01 09:03 +0200
    Re: Optimization techniques "Derek M. Jones" <derek@_NOSPAM_knosof.co.uk> - 2019-04-26 13:39 +0100
  Re: Optimization techniques rockbrentwood@gmail.com - 2019-09-26 20:35 -0700

csiph-web