Programming Languages and Systems (Q5308685): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1007/b96702
@@ Property / DOI: 10.1007/b96702 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/b96702
@@ Property / full work available at URL: https://doi.org/10.1007/b96702 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964738244
@@ Property / OpenAlex ID: W2964738244 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/B96702
@@ Property / DOI: 10.1007/B96702 / rank @@
+Normal rank
@@ Property / Recommended article @@
+An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
+Normal rank
+Similarity Score: 0.88026834Amount 0.88026834
Unit 1
-Amount
+.88026834
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Numerical Software with Result Verification
+Normal rank
+Similarity Score: 0.8511468Amount 0.8511468
Unit 1
-Amount
+.8511468
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Runtime abstract interpretation for numerical accuracy and robustness
+Normal rank
+Similarity Score: 0.84862566Amount 0.84862566
Unit 1
-Amount
+.84862566
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4738356
@@ Property / Recommended article: Q4738356 / rank @@
+Normal rank
@@ Property / Recommended article: Q4738356 / qualifier @@
+Similarity Score: 0.84674084Amount 0.84674084
Unit 1
-Amount
+.84674084
 Unit
@@ Property / Recommended article: Q4738356 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Automating the verification of floating-point programs
+Normal rank
+Similarity Score: 0.83989304Amount 0.83989304
Unit 1
-Amount
+.83989304
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Stabilizing Floating-Point Programs Using Provenance Analysis
+Normal rank
+Similarity Score: 0.8344785Amount 0.8344785
Unit 1
-Amount
+.8344785
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A two-phase approach for conditional floating-point verification
+Normal rank
+Similarity Score: 0.83392286Amount 0.83392286
Unit 1
-Amount
+.83392286
 Unit
+Recommender Run: Recommender Run 2