Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Parallel Cost Analysis
@@ Property / cites work: Parallel Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On the Inference of Resource Usage Upper and Lower Bounds
+Normal rank
@@ Property / cites work @@
+Amortised Resource Analysis with Separation Logic
@@ Property / cites work: Amortised Resource Analysis with Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing the complexity of functional programs: higher-order meets first-order
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Automated higher-order complexity analysis
@@ Property / cites work: Automated higher-order complexity analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of second-order lambda calculus
@@ Property / cites work: The semantics of second-order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Relational cost analysis
@@ Property / cites work: Relational cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
+Normal rank
@@ Property / cites work @@
+Two languages for estimating program efficiency
@@ Property / cites work: Two languages for estimating program efficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight semiformal time complexity analysis for purely functional data structures
+Normal rank
@@ Property / cites work @@
+Denotational cost semantics for functional languages with inductive types
+Normal rank
@@ Property / cites work @@
+Adventures in time and space
@@ Property / cites work: Adventures in time and space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness
+Normal rank
@@ Property / cites work @@
+A fistful of dollars: formalizing asymptotic complexity claims via deductive program verification
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards automatic resource bound analysis for OCaml
+Normal rank
@@ Property / cites work @@
+Amortized Resource Analysis with Polynomial Potential
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Static determination of quantitative resource usage for higher-order programs
+Normal rank
@@ Property / cites work @@
+Type-based cost analysis for lazy functional languages
+Normal rank
@@ Property / cites work @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coq Library for Internal Verification of Running-Times
+Normal rank
@@ Property / cites work @@
+Purely Functional Data Structures
@@ Property / cites work: Purely Functional Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965813
@@ Property / cites work: Q4965813 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying asymptotic time complexity of imperative programs in Isabelle
+Normal rank