LISP

swMATH7201MaRDI QIDQ19253

No author found.

Related Items (only showing first 100 items - show all)

Programming Languages and Systems ⋮ EMERGENCE OF COMPLEX STRATEGIES IN THE EVOLUTION OF CHESS ENDGAME PLAYERS ⋮ Computing with locally effective matrices ⋮ Logic Programming ⋮ From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice ⋮ Efficient execution in an automated reasoning environment ⋮ A motorcycle model for stability and control analysis ⋮ Linearized dynamics equations for the balance and steer of a bicycle: a benchmark and review ⋮ An algorithm for dual transformation in first-order logic ⋮ Strong normalizability of the non-deterministic catch/throw calculi ⋮ Constructive algebraic topology ⋮ Symbolic Lie algebras manipulations using COMMON LISP ⋮ A list processing language TAO with multiple programming paradigms ⋮ A tight, practical integration of relations and functions. ⋮ Essential Maple 7 ⋮ A mechanically verified incremental garbage collector ⋮ A constructive logic behind the catch and throw mechanism ⋮ Unnamed Item ⋮ Modality via iterated enrichment ⋮ On proving the termination of algorithms by machine ⋮ Unnamed Item ⋮ Label-selective \(\lambda\)-calculus syntax and confluence ⋮ Directly reflective meta-programming ⋮ Unnamed Item ⋮ Logic programming in the context of multiparadigm programming: the Oz experience ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal correctness of a quadratic unification algorithm ⋮ PARALLEL MATRIX MULTIPLICATION ON THE CONNECTION MACHINE ⋮ Unnamed Item ⋮ Debugging hygienic macros ⋮ Design and evaluation of C++ open multi-methods ⋮ Interleaving natural language parsing and generation through uniform processing ⋮ Computing Environments for Data Analysis III: Programming Environments ⋮ A functional approach to generic programming using adaptive traversals ⋮ On congruence relations and equations of Shimura curves ⋮ Unnamed Item ⋮ Equality in computer algebra and beyond. ⋮ The Mathematical-Function Computation Handbook ⋮ Unnamed Item ⋮ Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix ⋮ Unnamed Item ⋮ Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics ⋮ Meta-circular interpreter for a strongly typed language ⋮ An object-oriented interpretation of the EAT system ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Recursive functions of symbolic expressions and their computation by machine, Part I ⋮ Unnamed Item ⋮ An ACL2 Tutorial ⋮ The Impact of the Lambda Calculus in Logic and Computer Science ⋮ Formal basis for the refinement of rule based transition systems ⋮ A proposal for error handling in OpenMP ⋮ A systematic catalogue of reusable abstract data types ⋮ Unnamed Item ⋮ Elements with embedded localization zones for large deformation problems ⋮ Explicit and implicit solution of the Navier-Stokes equations on a massively parallel computer ⋮ The expressive power of higher-order types or, life without CONS ⋮ More haste, less speed: lazy versus eager evaluation ⋮ A review of Mathematica ⋮ An environment for DEVS-based multiformalism simulation in common lisp/CLOS ⋮ The revised report on the syntactic theories of sequential control and state ⋮ A theory for program and data type specification ⋮ Random list permutations in place ⋮ Netl and subsequent path-based inheritance theories ⋮ Metamodeling semantics of multiple inheritance ⋮ A form-based meta-model for software composition ⋮ Confluently persistent tries for efficient version control ⋮ On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention ⋮ PROMOT: A Modeling Tool for Chemical Processes ⋮ Unnamed Item ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Integrating external deduction tools with ACL2 ⋮ Flexible software architectures for ontology-based information systems ⋮ Shallow confluence of conditional term rewriting systems ⋮ Limited second-order functionality in a first-order setting ⋮ Unnamed Item ⋮ How to evaluate the performance of gradual type systems ⋮ New operations research and artificial intelligence approaches to traffic engineering problems ⋮ Processing Poisson series in parallel ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm ⋮ Unnamed Item ⋮ Linear-time hierarchies for a functional language machine model ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Revised6 Report on the Algorithmic Language Scheme ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Defining Actions in Concurrent Declarative Programming ⋮ Architectures and monitoring techniques for active databases: An evaluation

This page was built for software: LISP