The following pages link to (Q3997095):
Displaying 14 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)
- Directly reflective meta-programming (Q848742) (← links)
- Formal correctness of a quadratic unification algorithm (Q877825) (← 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)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language (Q1599529) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- A Dictionary-Passing Translation of Featherweight Go (Q6488146) (← links)
