Results 1 to 20 of 363
Sort by:

  • 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...