A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623): Difference between revisions

@@ Property / author @@
-Jose Francisco Morales
@@ Property / author: Jose Francisco Morales / rank @@
-Normal rank
@@ Property / author @@
+Jose Francisco Morales
@@ Property / author: Jose Francisco Morales / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3020739689
@@ Property / OpenAlex ID: W3020739689 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.13272
@@ Property / arXiv ID: 1907.13272 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form upper bounds in static cost analysis
@@ Property / cites work: Closed-form upper bounds in static cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Cost Analysis
@@ Property / cites work: Parallel Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Multidimensional Divide-and-Conquer Maximin Recurrences
+Normal rank
@@ Property / cites work @@
+A provable time and space efficient implementation of NESL
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Parametric Accumulated-Cost Static Profiling
+Normal rank
@@ Property / cites work @@
+Practical Foundations for Programming Languages
@@ Property / cites work: Practical Foundations for Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
+Normal rank
@@ Property / cites work @@
+Automatic Static Cost Analysis for Parallel Programs
+Normal rank
@@ Property / cites work @@
+An asymptotic theory for recurrence relations based on minimization and maximization.
+Normal rank
@@ Property / cites work @@
+A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
+Normal rank
@@ Property / cites work @@
+Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
+Normal rank
@@ Property / cites work @@
+A general framework for static profiling of parametric resource usage
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
+Normal rank
@@ Property / cites work @@
+Tight bounds on the solutions of multidimensional divide-and-conquer maximin recurrences
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank