swMATH7201MaRDI QIDQ19253FDOQ19253
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: https://en.wikipedia.org/wiki/Lisp_%28programming_language%29
Cited In (only showing first 100 items - show all)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Equality in computer algebra and beyond.
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Confluently persistent tries for efficient version control
- Architectures and monitoring techniques for active databases: An evaluation
- Directly reflective meta-programming
- New operations research and artificial intelligence approaches to traffic engineering problems
- Logic programming in the context of multiparadigm programming: the Oz experience
- Title not available (Why is no real title available?)
- Second order optimization methods in \texttt{LISP}
- Symbolic Lie algebras manipulations using COMMON LISP
- A proposal for error handling in OpenMP
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Modality via iterated enrichment
- Interleaving natural language parsing and generation through uniform processing
- Revised\(^{6}\) report on the algorithmic language scheme
- A review of Mathematica
- Formal correctness of a quadratic unification algorithm
- A form-based meta-model for software composition
- Title not available (Why is no real title available?)
- A tight, practical integration of relations and functions.
- A verified common lisp implementation of Buchberger's algorithm in ACL2
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Limited second-order functionality in a first-order setting
- A constructive logic behind the catch and throw mechanism
- Title not available (Why is no real title available?)
- PARALLEL MATRIX MULTIPLICATION ON THE CONNECTION MACHINE
- Meta-circular interpreter for a strongly typed language
- A systematic catalogue of reusable abstract data types
- Defining actions in concurrent declarative programming
- Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics
- A functional approach to generic programming using adaptive traversals
- Label-selective \(\lambda\)-calculus syntax and confluence
- On congruence relations and equations of Shimura curves
- Random list permutations in place
- Title not available (Why is no real title available?)
- Linear-time hierarchies for a functional language machine model
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Calendrical Calculations
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
- Strong normalizability of the non-deterministic catch/throw calculi
- Logic Programming
- Computing with locally effective matrices
- A list processing language TAO with multiple programming paradigms
- Efficient execution in an automated reasoning environment
- 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 no real title available?)
- How to evaluate the performance of gradual type systems
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Computing Environments for Data Analysis III: Programming Environments
- Stabilizer
- Thorn
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Formal basis for the refinement of rule based transition systems
- Title not available (Why is no real title available?)
- PROMOT: A Modeling Tool for Chemical Processes
- Title not available (Why is no real title available?)
- More haste, less speed: lazy versus eager evaluation
- From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice
- Baby Modula-3 and a theory of objects
- Metamodeling semantics of multiple inheritance
- The Impact of the Lambda Calculus in Logic and Computer Science
- An algorithm for dual transformation in first-order logic
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- 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
- Debugging hygienic macros
- Design and evaluation of C++ open multi-methods
- A theory for program and data type specification
- Title not available (Why is no real title available?)
- On proving the termination of algorithms by machine
- ACL2
- 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 no real title available?)
- MACSYMA
- DrScheme
- OpenMusic
- Smalltalk
- ProMoT
- ABEL
- CLOS
- KLIC
- POOL
- Kenzo
This page was built for software: LISP
