
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, ChernSimons 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 (doublylinked lists, trees with parent pointers, etc.); Sound ... local data structures (trees with linked leaves, skiplists, 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 datastructured implementation of Hansen’s quadratic zeroone programming algorithm The QUAD01 ... language and uses an efficient linkedlist 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...