Efficient pebbling for list traversal synopses with application to program rollback (Q2373729): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2007.02.048
+Normal rank
@@ Property / OpenAlex ID @@
+W2036247450
@@ Property / OpenAlex ID: W2036247450 / rank @@
+Normal rank
@@ Property / cites work @@
+Backing up in singly linked lists
@@ Property / cites work: Backing up in singly linked lists / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542545
@@ Property / cites work: Q4542545 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost Optimal Hash Sequence Traversal
@@ Property / cites work: Almost Optimal Hash Sequence Traversal / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828995
@@ Property / cites work: Q4828995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252404
@@ Property / cites work: Q4252404 / rank @@
+Normal rank
@@ Property / cites work @@
+A bounded-space tree traversal algorithm
@@ Property / cites work: A bounded-space tree traversal algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418545
@@ Property / cites work: Q4418545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414286
@@ Property / cites work: Q4414286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449229
@@ Property / cites work: Q4449229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947137
@@ Property / cites work: Q3947137 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient machine-independent procedure for garbage collection in various list structures
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and read-only algorithms for traversing trees without an auxiliary stack
+Normal rank
@@ Property / cites work @@
+Recycling continuations
@@ Property / cites work: Recycling continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - EUROCRYPT 2004
@@ Property / cites work: Advances in Cryptology - EUROCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532095
@@ Property / cites work: Q4532095 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2373729