A type-based complexity analysis of object oriented programs (Q1640983): Difference between revisions

@@ Property / describes a project that uses @@
+COSTA
@@ Property / describes a project that uses: COSTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964137868
@@ Property / OpenAlex ID: W2964137868 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06653
@@ Property / arXiv ID: 1802.06653 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Objects in Polynomial Time
@@ Property / cites work: Objects in Polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Space Lower Bounds for Maze Threadability on Restricted Machines
+Normal rank
@@ Property / cites work @@
+Type-Based Complexity Analysis for Fork Processes
@@ Property / cites work: Type-Based Complexity Analysis for Fork Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Graph-Structures and Their Implicit Computational Complexity
+Normal rank
@@ Property / cites work @@
+Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
+Normal rank
@@ Property / cites work @@
+Resource control graphs
@@ Property / cites work: Resource control graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Type-Checking for Amortised Heap-Space Analysis
+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 @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Pure pointer programs with iteration
@@ Property / cites work: Pure pointer programs with iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Size-Change Termination, Monotonicity Constraints and Ranking Functions
+Normal rank
@@ Property / cites work @@
+On the Termination of Integer Loops
@@ Property / cites work: On the Termination of Integer Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Transition predicate abstraction and fair termination
+Normal rank
@@ Property / cites work @@
+SPEED: Symbolic Complexity Bound Analysis
@@ Property / cites work: SPEED: Symbolic Complexity Bound Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129726623
@@ Property / Wikidata QID: Q129726623 / rank @@
+Normal rank