Correctness of NetRexx Translator Java code output

[George Hovey-2]

The "NetRexx 3.06-GA QuickStart Guide" states:

6.1 Using the translator as a compiler

The installation instructions for the NetRexx translator describe how to use the package to compile and run a simple NetRexx program (hello.nrx). When using the translator in this way (as a compiler), the translator parses and checks the NetRexx source code, and if no errors were found then generates Java source code. This Java code (which is known to be correct) ...

My questions are about the "Java code (which is known to be correct)".

I would like to believe that 'correct' means that the Java code produces (to within insignificant differences) the same behavior as the NetRexx code would, as deduced from the NetRexx Language Reference.

What is the meaning of 'correct' how is it known?

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/

[rvjansen]

Hi George,

what is meant here is that we know the java source of the translated hello.nrx program is correct - it is not that complex a program.

I agree however that there is room for misinterpretation here and I have taken it out - the statement serves no real purpose here - exception maybe an expression of the confidence level we have in NetRexx.

best regards,

René.

On 18 Apr 2018, at 10:50, George Hovey <[hidden email]> wrote:

The "NetRexx 3.06-GA QuickStart Guide" states:

6.1 Using the translator as a compiler

The installation instructions for the NetRexx translator describe how to use the package to compile and run a simple NetRexx program (hello.nrx). When using the translator in this way (as a compiler), the translator parses and checks the NetRexx source code, and if no errors were found then generates Java source code. This Java code (which is known to be correct) ...

My questions are about the "Java code (which is known to be correct)".

I would like to believe that 'correct' means that the Java code produces (to within insignificant differences) the same behavior as the NetRexx code would, as deduced from the NetRexx Language Reference.

What is the meaning of 'correct' how is it known?

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/

[George Hovey-2]

Thanks.  I definitely jumped to the wrong conclusion: it didn't occur to me that it meant specifically the Hello.nrx program.  I thought it might be making a broad statement about NetRexxC's correctness.

On Thu, Apr 19, 2018 at 10:49 AM, René Jansen <[hidden email]> wrote:

Hi George,

what is meant here is that we know the java source of the translated hello.nrx program is correct - it is not that complex a program.

I agree however that there is room for misinterpretation here and I have taken it out - the statement serves no real purpose here - exception maybe an expression of the confidence level we have in NetRexx.

best regards,

René.

On 18 Apr 2018, at 10:50, George Hovey <[hidden email]> wrote:

The "NetRexx 3.06-GA QuickStart Guide" states:

6.1 Using the translator as a compiler

The installation instructions for the NetRexx translator describe how to use the package to compile and run a simple NetRexx program (hello.nrx). When using the translator in this way (as a compiler), the translator parses and checks the NetRexx source code, and if no errors were found then generates Java source code. This Java code (which is known to be correct) ...

My questions are about the "Java code (which is known to be correct)".

I would like to believe that 'correct' means that the Java code produces (to within insignificant differences) the same behavior as the NetRexx code would, as deduced from the NetRexx Language Reference.

What is the meaning of 'correct' how is it known?

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/

--

_______________________________________________
Ibm-netrexx mailing list
[hidden email]
Online Archive : http://ibm-netrexx.215625.n3.nabble.com/