Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Raffaello Giulietti]

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

The DOI URL currently brings you to exactly the same IEEExplore page.

-

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Joe Darcy]

On Tue, 3 May 2022 08:25:30 GMT, Raffaello Giulietti  
wrote:

> What about the DOI URL? Probably even more stable. 
> https://doi.org/10.1109/IEEESTD.2019.8766229

Hmm. I'd rather use the IEEE URL for now; if that turns out to problematic, we 
can switch to the DOI one.

-

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification [v2]

[Joe Darcy]

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

Joe Darcy has updated the pull request incrementally with one additional commit 
since the last revision:

  Update copyright.

-

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/8511/files
  - new: https://git.openjdk.java.net/jdk/pull/8511/files/244fe910..1d9e1521

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=8511&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=8511&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8511.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8511/head:pull/8511

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Joe Darcy]

Hello,

While informative, I think some kind of official link to the IEEE 754 
document is more appropriate in this context.


-Joe

On 5/3/2022 2:59 AM, Rony G. Flatscher wrote:

On 03.05.2022 10:28, Raffaello Giulietti wrote:

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

Please review the addition of @-see links from classes that mention 
the IEEE 754 floating-point standard to an IEEE page about the 
standard. The URL in the initial version of the PR is the top search 
result on the IEEE home page for "754 standard".


Another candidate page to use is

https://ieeexplore.ieee.org/servlet/opac?punumber=8766227

which is (apparently) a stable citation page for the standard.

These links may be upgraded to the the forthcoming @-spec facility 
in the future. ( JDK-6251738).

What about the DOI URL? Probably even more stable.
https://doi.org/10.1109/IEEESTD.2019.8766229

-

PR: https://git.openjdk.java.net/jdk/pull/8511


Maybe informal links to the resources made available via the web by 
the IEEE 754 editor, Mike F. Cowlishaw, could be helpful:


- 
- Previous standard:  with 

- Current standard:  with 



---rony

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Rony G. Flatscher]

On 03.05.2022 10:28, Raffaello Giulietti wrote:

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:


Please review the addition of @-see links from classes that mention the IEEE 754 
floating-point standard to an IEEE page about the standard. The URL in the initial 
version of the PR is the top search result on the IEEE home page for "754 
standard".

Another candidate page to use is

https://ieeexplore.ieee.org/servlet/opac?punumber=8766227

which is (apparently) a stable citation page for the standard.

These links may be upgraded to the the forthcoming @-spec facility in the 
future. ( JDK-6251738).

What about the DOI URL? Probably even more stable.
https://doi.org/10.1109/IEEESTD.2019.8766229

-

PR: https://git.openjdk.java.net/jdk/pull/8511


Maybe informal links to the resources made available via the web by the IEEE 
754 editor, Mike F. Cowlishaw, could be helpful:

- 
- Previous standard:  with 

- Current standard:  with 


---rony

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Raffaello Giulietti]

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

What about the DOI URL? Probably even more stable.
https://doi.org/10.1109/IEEESTD.2019.8766229

-

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Brian Burkhalter]

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

Marked as reviewed by bpb (Reviewer).

-

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Iris Clark]

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

Marked as reviewed by iris (Reviewer).

-

PR: https://git.openjdk.java.net/jdk/pull/8511

Re: RFR: JDK-8285977: Add links to IEEE 754 specification

[Jonathan Gibbons]

On Mon, 2 May 2022 22:55:43 GMT, Joe Darcy  wrote:

> Please review the addition of @-see links from classes that mention the IEEE 
> 754 floating-point standard to an IEEE page about the standard. The URL in 
> the initial version of the PR is the top search result on the IEEE home page 
> for "754 standard".
> 
> Another candidate page to use is
> 
> https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
> 
> which is (apparently) a stable citation page for the standard.
> 
> These links may be upgraded to the the forthcoming @-spec facility in the 
> future. ( JDK-6251738).

I endorse the use of a URL with a host-name like `standards.ieee.org`

-

Marked as reviewed by jjg (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/8511

RFR: JDK-8285977: Add links to IEEE 754 specification

[Joe Darcy]

Please review the addition of @-see links from classes that mention the IEEE 
754 floating-point standard to an IEEE page about the standard. The URL in the 
initial version of the PR is the top search result on the IEEE home page for 
"754 standard".

Another candidate page to use is

https://ieeexplore.ieee.org/servlet/opac?punumber=8766227

which is (apparently) a stable citation page for the standard.

These links may be upgraded to the the forthcoming @-spec facility in the 
future. ( JDK-6251738).

-

Commit messages:
 - JDK-8285977: Add links to IEEE 754 specification

Changes: https://git.openjdk.java.net/jdk/pull/8511/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=8511&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8285977
  Stats: 21 lines in 7 files changed: 21 ins; 0 del; 0 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8511.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8511/head:pull/8511

PR: https://git.openjdk.java.net/jdk/pull/8511