LISP

MaRDI QIDQ19253swMATHFDO

Official website https://en.wikipedia.org/wiki/Lisp_%28programming_language%29

Cited in

(only showing first 100 items - show all)

• A tight, practical integration of relations and functions.
• scientific article; zbMATH DE number 5265455 (Why is no real title available?)
• Structured theory development for a mechanized logic
• Processing Poisson series in parallel
• Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm
• scientific article; zbMATH DE number 49703 (Why is no real title available?)
• Linearized dynamics equations for the balance and steer of a bicycle: a benchmark and review
• scientific article; zbMATH DE number 1393310 (Why is no real title available?)
• Computational complexity via programming languages: Constant factors do matter
• scientific article; zbMATH DE number 4164121 (Why is no real title available?)
• Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix
• A verified common lisp implementation of Buchberger's algorithm in ACL2
• scientific article; zbMATH DE number 683346 (Why is no real title available?)
• Milestones from the Pure Lisp Theorem Prover to ACL2
• Limited second-order functionality in a first-order setting
• scientific article; zbMATH DE number 1538034 (Why is no real title available?)
• An environment for DEVS-based multiformalism simulation in common lisp/CLOS
• A constructive logic behind the catch and throw mechanism
• scientific article; zbMATH DE number 711038 (Why is no real title available?)
• Formal basis for the refinement of rule based transition systems
• scientific article; zbMATH DE number 1088218 (Why is no real title available?)
• Meta-circular interpreter for a strongly typed language
• Netl and subsequent path-based inheritance theories
• PARALLEL MATRIX MULTIPLICATION ON THE CONNECTION MACHINE
• A systematic catalogue of reusable abstract data types
• Formal proofs about rewriting using ACL2
• The expressive power of higher-order types or, life without CONS
• Modular statically typed multimethods
• A motorcycle model for stability and control analysis
• Explicit and implicit solution of the Navier-Stokes equations on a massively parallel computer
• Shallow confluence of conditional term rewriting systems
• Programming Languages and Systems
• A mechanically verified incremental garbage collector
• Defining actions in concurrent declarative programming
• A functional approach to generic programming using adaptive traversals
• Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics
• PROMOT: A Modeling Tool for Chemical Processes
• scientific article; zbMATH DE number 1374051 (Why is no real title available?)
• Label-selective -calculus syntax and confluence
• On congruence relations and equations of Shimura curves
• Elements with embedded localization zones for large deformation problems
• An ACL2 Tutorial
• Random list permutations in place
• An object-oriented interpretation of the EAT system
• More haste, less speed: lazy versus eager evaluation
• Linear-time hierarchies for a functional language machine model
• scientific article; zbMATH DE number 1479617 (Why is no real title available?)
• Essential Maple 7
• From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice
• scientific article; zbMATH DE number 194580 (Why is no real title available?)
• Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
• scientific article; zbMATH DE number 786738 (Why is no real title available?)
• scientific article; zbMATH DE number 2079835 (Why is no real title available?)
• scientific article; zbMATH DE number 2080968 (Why is no real title available?)
• Calendrical Calculations
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Strong normalizability of the non-deterministic catch/throw calculi
• Logic Programming
• A list processing language TAO with multiple programming paradigms
• The mathematical-function computation handbook. Programming using the MathCW portable software library
• Computing with locally effective matrices
• Baby Modula-3 and a theory of objects
• Efficient execution in an automated reasoning environment
• scientific article; zbMATH DE number 177801 (Why is no real title available?)
• scientific article; zbMATH DE number 1482575 (Why is no real title available?)
• EMERGENCE OF COMPLEX STRATEGIES IN THE EVOLUTION OF CHESS ENDGAME PLAYERS
• Metamodeling semantics of multiple inheritance
• On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
• Equality in computer algebra and beyond.
• scientific article; zbMATH DE number 1825108 (Why is no real title available?)
• Confluently persistent tries for efficient version control
• scientific article; zbMATH DE number 52149 (Why is no real title available?)
• scientific article; zbMATH DE number 2036329 (Why is no real title available?)
• scientific article; zbMATH DE number 1231620 (Why is no real title available?)
• The Impact of the Lambda Calculus in Logic and Computer Science
• Architectures and monitoring techniques for active databases: An evaluation
• Directly reflective meta-programming
• How to evaluate the performance of gradual type systems
• New operations research and artificial intelligence approaches to traffic engineering problems
• scientific article; zbMATH DE number 194541 (Why is no real title available?)
• An algorithm for dual transformation in first-order logic
• scientific article; zbMATH DE number 2177632 (Why is no real title available?)
• Logic programming in the context of multiparadigm programming: the Oz experience
• Second order optimization methods in \texttt{LISP}
• scientific article; zbMATH DE number 4164171 (Why is no real title available?)
• scientific article; zbMATH DE number 2000439 (Why is no real title available?)
• Symbolic Lie algebras manipulations using COMMON LISP
• A proposal for error handling in OpenMP
• Computing Environments for Data Analysis III: Programming Environments
• Interleaving natural language parsing and generation through uniform processing
• Modality via iterated enrichment
• scientific article; zbMATH DE number 2089379 (Why is no real title available?)
• scientific article; zbMATH DE number 4072437 (Why is no real title available?)
• Flexible software architectures for ontology-based information systems
• scientific article; zbMATH DE number 1956462 (Why is no real title available?)
• Revised\(^{6}\) report on the algorithmic language scheme
• scientific article; zbMATH DE number 1424555 (Why is no real title available?)
• A review of Mathematica
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor

This page was built for software: LISP