• LISP

  • Referenced in 126 articles [sw07201]
  • name LISP derives from ”LISt Processing”. Linked lists are one of Lisp language’s major...
  • TVLA

  • Referenced in 33 articles [sw09878]
  • linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients...
  • CSPLib

  • Referenced in 92 articles [sw04150]
  • technical report page) a list of related benchmark libraries links to constraint solvers a history...
  • Slide

  • Referenced in 19 articles [sw28542]
  • complete for local data structures (doubly-linked lists, trees with parent pointers, etc.); Sound ... local data structures (trees with linked leaves, skip-lists, etc. ); Built...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • case studies: methods that manipulate singly linked lists and red-black trees, a naming architecture...
  • Predator

  • Referenced in 17 articles [sw07396]
  • tool for verification of low-level list manipulation. (Competition contribution). Predator is a tool ... programs operating with pointers and linked lists. The core algorithms of Predator were originally inspired...
  • SnapPea

  • Referenced in 158 articles [sw06873]
  • obained from four or fewer tetrahedra are listed in an appendix to the paper ... analogy with the enumeration of knots and links, each manifold is given a name indicating ... each manifold the following data are listed: volume, Chern-Simons invariant (if orientable), homology, symmetry...
  • MetaPost

  • Referenced in 11 articles [sw27528]
  • This page has a list of links related to MetaPost, a powerful tool for creating...
  • c2i

  • Referenced in 6 articles [sw19488]
  • heap manipulating programs that use linked list data structures...
  • QUAD01

  • Referenced in 4 articles [sw03306]
  • programming language and uses an efficient linked-list structure to store and manipulate constraint...
  • pico ql

  • Referenced in 2 articles [sw13847]
  • data structures like arrays and linked lists (see examples/CApp) but also any other data structure ... structures modelling processes (such as the linked list of processes) , files, virtual memory, file system...
  • JKelloy

  • Referenced in 2 articles [sw09964]
  • those rules. Our experiments on linked lists and binary graphs show the feasibility...
  • HAVOC

  • Referenced in 2 articles [sw20228]
  • allows the expression of properties of linked lists and arrays. The main challenge addressed...
  • Auto2_Imperative_HOL

  • Referenced in 2 articles [sw32246]
  • data structures that are verified include linked lists, binary search trees, red-black trees, interval...
  • QuickLex

  • Referenced in 2 articles [sw23063]
  • practice. Moreover, Tree is built on linked-lists and QuickLex can be implemented using integer...
  • MemPick

  • Referenced in 1 article [sw20972]
  • structures, such as singly- or doubly-linked lists, many types of trees...
  • Juggrnaut

  • Referenced in 1 article [sw13410]
  • three case studies: a doubly-linked list reversal, the flattening of binary trees...
  • SOSpin

  • Referenced in 1 article [sw22163]
  • SOSpin through the implementation of doubly-linked-list data structures. These data structures were determinant...
  • sdt

  • Referenced in 1 article [sw16956]
  • interactions and together with an efficient linked list data structure, facilitates studies of nuclear interactions...