swMATH7201MaRDI QIDQ19253FDOQ19253
Author name not available (Why is that?)
Official website: https://en.wikipedia.org/wiki/Lisp_%28programming_language%29
Cited In (only showing first 100 items - show all)
- Metamodeling semantics of multiple inheritance
- The Impact of the Lambda Calculus in Logic and Computer Science
- Directly reflective meta-programming
- An algorithm for dual transformation in first-order logic
- Logic programming in the context of multiparadigm programming: the Oz experience
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Flexible software architectures for ontology-based information systems
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor
- The revised report on the syntactic theories of sequential control and state
- Constructive algebraic topology
- Integrating external deduction tools with ACL2
- Formal correctness of a quadratic unification algorithm
- Debugging hygienic macros
- Design and evaluation of C++ open multi-methods
- A theory for program and data type specification
- Title not available (Why is that?)
- Title not available (Why is that?)
- On proving the termination of algorithms by machine
- Linearized dynamics equations for the balance and steer of a bicycle: a benchmark and review
- Structured theory development for a mechanized logic
- Title not available (Why is that?)
- ABEL
- Kenzo
- Miranda
- xloops
- CLISP
- PICCOLA
- NQTHM
- Title not available (Why is that?)
- Commonloops
- EAT
- GUM
- YAFOOL
- Cecil
- VSPLAD
- Carsim
- bikeSIM
- SPACAR
- cantata
- Scheme
- ACIS 3D
- Naira
- PolyTOIL
- Processing Poisson series in parallel
- Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm
- Computational complexity via programming languages: Constant factors do matter
- HOL90
- Pycket
- Racket
- CHR
- TIL
- Bigloo
- Dylan
- Emacs
- QuodLibet
- SuperCollider
- VisualWorks
- ComLisp
- Sage
- Forms/3
- DefunT
- GASP IV
- TXDT
- Title not available (Why is that?)
- Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix
- MOLE
- SALT
- Subversion
- MzScheme
- An environment for DEVS-based multiformalism simulation in common lisp/CLOS
- A motorcycle model for stability and control analysis
- Meta-circular interpreter for a strongly typed language
- Netl and subsequent path-based inheritance theories
- The expressive power of higher-order types or, life without CONS
- Formal proofs about rewriting using ACL2
- Modular statically typed multimethods
- Explicit and implicit solution of the Navier-Stokes equations on a massively parallel computer
- Programming Languages and Systems
- Shallow confluence of conditional term rewriting systems
- A mechanically verified incremental garbage collector
- Elements with embedded localization zones for large deformation problems
- An ACL2 Tutorial
- Essential Maple 7
- An object-oriented interpretation of the EAT system
- Title not available (Why is that?)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
- Recursive functions of symbolic expressions and their computation by machine, Part I
- The mathematical-function computation handbook. Programming using the MathCW portable software library
- Title not available (Why is that?)
- Title not available (Why is that?)
- EMERGENCE OF COMPLEX STRATEGIES IN THE EVOLUTION OF CHESS ENDGAME PLAYERS
- On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
- Title not available (Why is that?)
- Equality in computer algebra and beyond.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluently persistent tries for efficient version control
- Title not available (Why is that?)
This page was built for software: LISP
