The following pages link to (Q3997095):
Displaying 50 items.
- LISP (Q19253) (← links)
- 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)
- 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)
- 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 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)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language (Q1599529) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- Efficient, verified checking of propositional proofs (Q1687744) (← links)
- Modular statically typed multimethods (Q1854533) (← 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)
- 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)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Defining actions in concurrent declarative programming (Q2841291) (← links)
- Revised6 Report on the Algorithmic Language Scheme (Q3401233) (← links)
- An ACL2 Tutorial (Q3543644) (← links)
- A Tutorial on Object-Oriented Functional Programming (Q3599182) (← links)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
- (Q4222943) (← links)
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor (Q4230664) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- The combinatorial complexity of a finite string (Q5096895) (← links)
- Computing with locally effective matrices (Q5699915) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)
