The following pages link to LISP (Q19253):
Displaying 50 items.
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Debugging hygienic macros (Q608231) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix (Q632240) (← links)
- An environment for DEVS-based multiformalism simulation in common lisp/CLOS (Q686327) (← links)
- Processing Poisson series in parallel (Q753495) (← links)
- Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm (Q757074) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Formal correctness of a quadratic unification algorithm (Q877825) (← links)
- Meta-circular interpreter for a strongly typed language (Q908683) (← links)
- Confluently persistent tries for efficient version control (Q970608) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- A list processing language TAO with multiple programming paradigms (Q1082798) (← links)
- Interleaving natural language parsing and generation through uniform processing (Q1128613) (← links)
- A systematic catalogue of reusable abstract data types (Q1188908) (← links)
- A review of Mathematica (Q1198247) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Random list permutations in place (Q1199957) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- New operations research and artificial intelligence approaches to traffic engineering problems (Q1268288) (← links)
- Symbolic Lie algebras manipulations using COMMON LISP (Q1330629) (← links)
- A mechanically verified incremental garbage collector (Q1336946) (← links)
- A constructive logic behind the catch and throw mechanism (Q1337695) (← links)
- On proving the termination of algorithms by machine (Q1341666) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- An object-oriented interpretation of the EAT system (Q1413645) (← links)
- Computational complexity via programming languages: Constant factors do matter (Q1587302) (← links)
- Structured theory development for a mechanized logic (Q1595929) (← links)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language (Q1599529) (← links)
- Formal proofs about rewriting using ACL2 (Q1610218) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- Linear-time hierarchies for a functional language machine model (Q1818323) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- A tight, practical integration of relations and functions. (Q1880433) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- On congruence relations and equations of Shimura curves (Q2186063) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Limited second-order functionality in a first-order setting (Q2303245) (← links)
- Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics (Q2432292) (← links)
- A proposal for error handling in OpenMP (Q2457961) (← links)
- A form-based meta-model for software composition (Q2485106) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- The expressive power of higher-order types or, life without CONS (Q2740986) (← links)
- Defining actions in concurrent declarative programming (Q2841291) (← links)
- Second order optimization methods in \texttt{LISP} (Q2913966) (← links)
