Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (Q2931277): Difference between revisions

@@ Property / describes a project that uses @@
+CiaoPP
@@ Property / describes a project that uses: CiaoPP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4256
@@ Property / arXiv ID: 1405.4256 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / OpenAlex ID @@
+W2004264692
@@ Property / OpenAlex ID: W2004264692 / rank @@
+Normal rank