
Snugglebug
 Referenced in 7 articles
[sw13707]
 conservative call graph. Second, we describe generalization, a technique that greatly increases the reusability ... transforms a symbolic state in its entirety, our technique tabulates how the procedure transforms only ... symbolic state. Additionally, we show how integrating an inexpensive, custom logic simplifier with weakest precondition...

DLog
 Referenced in 8 articles
[sw09839]
 such as the Semantic Web and information integration, it is very important to have systems ... this paper we present an approach to transform DL axioms, formalised in the 𝒮ℋℐ𝒬 ... program under the unique name assumption. This transformation is performed with no knowledge about particular ... Prolog execution of the generated program. This technique, together with the topdown Prolog execution...

egg
 Referenced in 1 article
[sw37955]
 incorporate transformations beyond purely syntactic rewrites. This work contributes two techniques that make egraphs ... equality saturation. A new amortized invariant restoration technique called rebuilding takes advantage of equality saturation ... over current techniques in practice. A general mechanism called eclass analyses integrates domainspecific...

SGRAPH
 Referenced in 1 article
[sw26151]
 SGRAPH (SeismoGRAPHer): Seismic waveform analysis and integrated tools in seismology. Although numerous seismological programs ... Generalized Ray Theory (GRT), genetic algorithm (GA), leastsquare fitting, autopicking, fast Fourier transforms ... attenuation, and focal mechanisms. Advanced waveform modeling techniques are provided for crustal structure and focal...

BEMLIB
 Referenced in 108 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 704 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BiCG
 Referenced in 34 articles
[sw00076]
 BiCG: An effective solver for three fields...

CGAL
 Referenced in 394 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GELDA
 Referenced in 33 articles
[sw00331]
 GELDA is a Fortran77 sofware package for the...