LISP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Integrating external deduction tools with ACL2
- Flexible software architectures for ontology-based information systems
- A verified common lisp implementation of Buchberger's algorithm in ACL2
- A list processing language TAO with multiple programming paradigms
- Interleaving natural language parsing and generation through uniform processing
- A systematic catalogue of reusable abstract data types
- A review of Mathematica
- 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
- New operations research and artificial intelligence approaches to traffic engineering problems
- ACL2
- Symbolic Lie algebras manipulations using COMMON LISP
- A mechanically verified incremental garbage collector
- A constructive logic behind the catch and throw mechanism
- On proving the termination of algorithms by machine
- Label-selective -calculus syntax and confluence
- MACSYMA
- DrScheme
- Equality in computer algebra and beyond.
- An object-oriented interpretation of the EAT system
- OpenMusic
- Smalltalk
- ProMoT
- ABEL
- POOL
- CLOS
- Computational complexity via programming languages: Constant factors do matter
- KLIC
- Structured theory development for a mechanized logic
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
- Formal proofs about rewriting using ACL2
- Constructive algebraic topology
- xloops
- Kenzo
- Miranda
- CLISP
- Linear-time hierarchies for a functional language machine model
- PICCOLA
- Modular statically typed multimethods
- A tight, practical integration of relations and functions.
- A functional approach to generic programming using adaptive traversals
- NQTHM
- Commonloops
- YAFOOL
- EAT
- Modality via iterated enrichment
- GUM
- On congruence relations and equations of Shimura curves
- Cecil
- VSPLAD
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Limited second-order functionality in a first-order setting
- Carsim
- SPACAR
- bikeSIM
- Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics
- A proposal for error handling in OpenMP
- A form-based meta-model for software composition
- cantata
- Scheme
- Shallow confluence of conditional term rewriting systems
- ACIS 3D
- Naira
- PolyTOIL
- The expressive power of higher-order types or, life without CONS
- Defining actions in concurrent declarative programming
- Second order optimization methods in \texttt{LISP}
- scientific article; zbMATH DE number 2177632 (Why is no real title available?)
- scientific article; zbMATH DE number 2089379 (Why is no real title available?)
- Architectures and monitoring techniques for active databases: An evaluation
- Calendrical Calculations
- HOL90
- scientific article; zbMATH DE number 1825108 (Why is no real title available?)
- Racket
- Pycket
- PARALLEL MATRIX MULTIPLICATION ON THE CONNECTION MACHINE
- CHR
- Recursive functions of symbolic expressions and their computation by machine, Part I
- TIL
- Revised\(^{6}\) report on the algorithmic language scheme
- scientific article; zbMATH DE number 4164121 (Why is no real title available?)
- scientific article; zbMATH DE number 4164171 (Why is no real title available?)
- Computing Environments for Data Analysis III: Programming Environments
- Bigloo
- An ACL2 Tutorial
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
- Dylan
- SuperCollider
- QuodLibet
- scientific article; zbMATH DE number 4072437 (Why is no real title available?)
- Elements with embedded localization zones for large deformation problems
- Explicit and implicit solution of the Navier-Stokes equations on a massively parallel computer
- Emacs
- VisualWorks
- scientific article; zbMATH DE number 49703 (Why is no real title available?)
- scientific article; zbMATH DE number 52149 (Why is no real title available?)
- scientific article; zbMATH DE number 52915 (Why is no real title available?)
- scientific article; zbMATH DE number 177801 (Why is no real title available?)
This page was built for software: LISP
