Checking Compatibility of Bit Sizes in Floating Point Comparison Operations (Q5170177): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2159743929
@@ Property / OpenAlex ID: W2159743929 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318052
@@ Property / Wikidata QID: Q113318052 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Contract Checking with Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis of Finite Precision Computations
@@ Property / cites work: Static Analysis of Finite Precision Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738355
@@ Property / cites work: Q4738355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411955
@@ Property / cites work: Q4411955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank