Termination of floating-point computations (Q850498): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-005-6546-z
@@ Property / DOI: 10.1007/s10817-005-6546-z / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-005-6546-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2120056071
@@ Property / OpenAlex ID: W2120056071 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of rational end-points real numbers by means of floating-point numbers
+Normal rank
@@ Property / cites work @@
+A declarative approach for first-order built-in's of Prolog
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736363
@@ Property / cites work: Q2736363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411979
@@ Property / cites work: Q4411979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475099
@@ Property / cites work: Q4475099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473711
@@ Property / cites work: Q4473711 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Q5688890
@@ Property / cites work: Q5688890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944879
@@ Property / cites work: Q4944879 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster numerical algorithms via exception handling
+Normal rank
@@ Property / cites work @@
+A general framework for automatic termination analysis od logic programs
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2758293
@@ Property / cites work: Q2758293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778705
@@ Property / cites work: Q4778705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738356
@@ Property / cites work: Q4738356 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving descriptions of possible values of program variables by means of abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778698
@@ Property / cites work: Q4778698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of terminating logic programs
@@ Property / cites work: Classes of terminating logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract multiple specialization and its application to program parallelization
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Termination of constraint logic programs
@@ Property / cites work: Termination of constraint logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Mixtus: An automatic partial evaluator for full Prolog
+Normal rank
@@ Property / cites work @@
+Inference of Termination Conditions for Numerical Loops in Prolog
+Normal rank
@@ Property / cites work @@
+Q4421872
@@ Property / cites work: Q4421872 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of termination conditions for numerical loops in Prolog
+Normal rank
@@ Property / cites work @@
+Q4808812
@@ Property / cites work: Q4808812 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple specialization using minimal-function graph semantics
+Normal rank
@@ Property / DOI @@
+.1007/S10817-005-6546-Z
@@ Property / DOI: 10.1007/S10817-005-6546-Z / rank @@
+Normal rank