LISP

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