-
Notifications
You must be signed in to change notification settings - Fork 0
/
base2-spec.bib
60 lines (55 loc) · 1.82 KB
/
base2-spec.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
@techreport{RFC_2119,
type = {RFC},
key = {RFC 2119},
title = {{Key words for use in RFCs to Indicate Requirement Levels}},
url = {https://www.ietf.org/rfc/rfc2119.txt},
year = {1997},
month = mar
}
@techreport{ISO_C_N2218,
type = {Proposal},
key = {ISO JTC1/SC22/WG14 N2218},
title = {{Signed Integers are Two’s Complement}},
url = {https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2218.htm},
institution = {International Organization for Standardization},
year = {2018},
month = mar,
}
@techreport{ISO_C_P0907R4,
type = {Published Proposal},
key = {ISO JTC1/SC22/WG21 P0907R4},
title = {{Signed Integers are Two’s Complement}},
url = {https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0907r4.html},
institution = {International Organization for Standardization},
year = {2018},
month = oct,
}
@techreport{ISO_F_N2184,
type = {Working Draft},
key = {ISO JTC1/SC22/WG5 N2184},
title = {{Fortran 202x Working Draft (J3/21-007r1)}},
url = {https://wg5-fortran.org/N2151-N2200/N2184.pdf},
institution = {International Organization for Standardization},
year = {2021},
month = may
}
@techreport{ISO_C_N4860,
type = {Standard Draft},
key = {ISO JTC1/SC22/WG21 N4860},
title = {{C++ Draft International Standard}},
url = {https://wg21.link/std20},
institution = {International Organization for Standardization},
year = {2020},
month = mar
}
@techreport{IEEE_754,
type = {Standard},
key = {IEEE Std 754-2019},
title = {{IEEE Standard for Floating-Point Arithmetic (Revision of IEEE 754-2008)}},
url = {https://ieeexplore.ieee.org/document/8766229},
institution = {Institute of Electrical and Electronics Engineers},
year = {2019},
month = jul,
number = {},
doi={10.1109/IEEESTD.2019.8766229}
}