• LISP

  • Referenced in 127 articles [sw07201]
  • ideas in computer science, including tree data structures, automatic storage management, dynamic typing, conditionals, higher ... compiler.[2] The name LISP derives from ”LISt ... Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source ... lists. As a result, Lisp programs can manipulate source code as a data structure, giving...
  • K Prover

  • Referenced in 45 articles [sw32257]
  • carry “computational meaning” as special nested list structures sequentializing computational tasks, such as fragments...
  • SnapPea

  • Referenced in 163 articles [sw06873]
  • each manifold the following data are listed: volume, Chern-Simons invariant (if orientable), homology, symmetry ... fact admit hyperbolic structures, to remove duplicates from the lists and to compute the various...
  • SETL

  • Referenced in 28 articles [sw36325]
  • this purpose, LISP introduces structured lists as data objects, APL introduces vectors and matrices...
  • Slide

  • Referenced in 20 articles [sw28542]
  • provided inductive definitions of recursive data structures (lists, trees, and beyond). Basic features: Sound ... 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...
  • K tool

  • Referenced in 18 articles [sw09746]
  • nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program...
  • ITP

  • Referenced in 31 articles [sw09808]
  • specifying and verifying semantic data structures, such as ordered lists, binary search trees, priority queues...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties...
  • Cayley

  • Referenced in 131 articles [sw01053]
  • doing calculations in groups and related structures. This paper gives a useful introduction ... features of the language and there are lists of some of the algorithms it incorporates...
  • PISCES

  • Referenced in 31 articles [sw16873]
  • sequence identity and structural quality criteria. PISCES can provide lists culled from the entire...
  • ABACUS

  • Referenced in 117 articles [sw02948]
  • variety of general algorithmic concepts, e.g., a list of different enumeration and branching strategies from ... chosen. Finally, ABACUS provides many basic data structures and useful tools for the implementation...
  • profile wavefront

  • Referenced in 16 articles [sw20660]
  • sparse matrix with symmetric structure. A complete listing of the program is given and test...
  • GRASP92

  • Referenced in 22 articles [sw00380]
  • interaction relativistic atomic structure calculations with large configuration state function lists. Atomic orbitals are taken...
  • PROCHECK

  • Referenced in 23 articles [sw16885]
  • check on the stereochemistry of a protein structure. Its outputs comprise a number of plots ... residue listing. These give an assessment of the overall quality of the structure as compared...
  • CSPLib

  • Referenced in 93 articles [sw04150]
  • from the APES technical report page) a list of related benchmark libraries links to constraint ... from purely random problems and onto more structured problems...
  • QUAD01

  • Referenced in 4 articles [sw03306]
  • QUAD01: A data-structured implementation of Hansen’s quadratic zero-one programming algorithm The QUAD01 ... language and uses an efficient linked-list structure to store and manipulate constraint and objective...
  • c2i

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

  • Referenced in 41 articles [sw08538]
  • OpenMx data structures are introduced -- these novel structures define the user interface framework and provide ... next presented. We end with an abbreviated list of modeling applications available in OpenMx...
  • MPSlib

  • Referenced in 3 articles [sw38398]
  • model, and simulation of more realistic (Earth) structures. A number of different algorithms ... using both a tree and a list structure. A new generalized ENESIM (GENESIM) algorithm...
  • Kokkos

  • Referenced in 28 articles [sw20455]
  • structures are used in LAMMPS to store atom coordinates or forces or neighbor lists...