A general framework for static profiling of parametric resource usage (Q4593063): Difference between revisions

@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPEED
@@ Property / describes a project that uses: SPEED / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiaoPP
@@ Property / describes a project that uses: CiaoPP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02780
@@ Property / arXiv ID: 1608.02780 / 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 @@
+More Precise Yet Widely Applicable Cost Analysis
@@ Property / cites work: More Precise Yet Widely Applicable Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Cost recurrences for DML programs
@@ Property / cites work: Cost recurrences for DML programs / rank @@
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Parametric Accumulated-Cost Static Profiling
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+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 @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Profiling large-scale lazy functional programs
@@ Property / cites work: Profiling large-scale lazy functional programs / rank @@
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4738360
@@ Property / cites work: Q4738360 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized algorithms for incremental analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962858168
@@ Property / OpenAlex ID: W2962858168 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4593063