Relational cost analysis in a functional-imperative setting (Q5020903): Difference between revisions

@@ Property / describes a project that uses @@
+WhyML
@@ Property / describes a project that uses: WhyML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TiML
@@ Property / describes a project that uses: TiML / 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
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+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 @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Abstract effects and proof-relevant logical relations
+Normal rank
@@ Property / cites work @@
+Relational cost analysis
@@ Property / cites work: Relational cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation
+Normal rank
@@ Property / cites work @@
+A type theory for incremental computational complexity with control flow changes
+Normal rank
@@ Property / cites work @@
+An Algorithm for the Machine Calculation of Complex Fourier Series
+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 @@
+Why3 — Where Programs Meet Provers
@@ Property / cites work: Why3 — Where Programs Meet Provers / rank @@
+Normal rank
@@ Property / cites work @@
+Linear dependent types for differential privacy
@@ Property / cites work: Linear dependent types for differential privacy / 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 @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111324
@@ Property / cites work: Q5111324 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank
@@ Property / cites work @@
+Non-parametric parametricity
@@ Property / cites work: Non-parametric parametricity / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and resource bound analysis of imperative programs using difference constraints
+Normal rank
@@ Property / cites work @@
+Logical relations for fine-grained concurrency
@@ Property / cites work: Logical relations for fine-grained concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Automating induction for solving Horn clauses
@@ Property / cites work: Automating induction for solving Horn clauses / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3210018541
@@ Property / OpenAlex ID: W3210018541 / rank @@
+Normal rank