Static extensivity analysis for \(\lambda\)-definable functions over lattices (Q2493277): Difference between revisions

@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4941829
@@ Property / cites work: Q4941829 / rank @@
+Normal rank
@@ Property / cites work @@
+PAG -- an efficient program analyzer generator
@@ Property / cites work: PAG -- an efficient program analyzer generator / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736993
@@ Property / cites work: Q4736993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5334323
@@ Property / cites work: Q5334323 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient criterion for the monotonicity of Boolean functions with deterministic and stochastic applications
+Normal rank