A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197): Difference between revisions

@@ Property / describes a project that uses @@
+SACO
@@ Property / describes a project that uses: SACO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABS
@@ Property / describes a project that uses: ABS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings
+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 @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Resource Analysis with Typed-Norms
+Normal rank
@@ Property / cites work @@
+On the Inference of Resource Usage Upper and Lower Bounds
+Normal rank
@@ Property / cites work @@
+Q2736363
@@ Property / cites work: Q2736363 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating sized types
@@ Property / cites work: Calculating sized types / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Analysis of Complex Programs with Cost Equations
+Normal rank
@@ Property / cites work @@
+Q4736992
@@ Property / cites work: Q4736992 / 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 @@
+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 @@
+Towards automatic resource bound analysis for OCaml
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Recursion and dynamic data-structures in bounded space
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / 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 @@
+A lattice-theoretical fixpoint theorem and its applications
+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 / full work available at URL @@
+https://doi.org/10.1017/s1471068419000401
+Normal rank
@@ Property / OpenAlex ID @@
+W2971474072
@@ Property / OpenAlex ID: W2971474072 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127320625
@@ Property / Wikidata QID: Q127320625 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4957197