• ML

  • Referenced in 517 articles [sw01218]
  • functional programming language. It has roots in Lisp, and has been characterized as ”Lisp with...
  • LISP

  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer programming languages with a long history ... prefix notation.[1] Originally specified in 1958, Lisp is the second-oldest high-level programming ... older (by one year). Like Fortran, Lisp has changed a great deal since its early ... Today, the most widely known general-purpose Lisp dialects are Common Lisp and Scheme. Lisp...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment for data analysis, statistical instruction and research ... graphical methods. Extensibility is achieved by basing Lisp-Stat on the Lisp language, in particular ... subset of Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations to perform element-wise...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • interactively. TPS and ETPS run in Common Lisp, and can be used on any system ... where Common Lisp runs. TPS and ETPS have been used extensively under Unix and Linux...
  • TPS

  • Referenced in 71 articles [sw00973]
  • interactively. TPS and ETPS run in Common Lisp, and can be used on any system ... where Common Lisp runs. TPS and ETPS have been used extensively under Unix and Linux...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • common lisp/CLOS CLOS stands for Common Lisp Object System and is pronounced ”see loss ... right.) CLOS is the part of Common Lisp that is directly concerned with the usual...
  • Church

  • Referenced in 50 articles [sw08946]
  • generative processes. Church is based on the Lisp model of lambda calculus, containing a pure ... Lisp as its deterministic subset. The semantics of Church is defined in terms of evaluation...
  • Racer

  • Referenced in 65 articles [sw09837]
  • accessing its reasoning services from within Common Lisp and Java...
  • UCPOP

  • Referenced in 38 articles [sw20687]
  • functionality and is much, much faster. Common Lisp source code for the UCPOP partial order ... domain axioms and predicates that call Common Lisp code to determine satisfiability. With a conservative ... control with convenient declarative rules. Our Common Lisp implementation is simple enough for classroom...
  • KIV

  • Referenced in 51 articles [sw10060]
  • C/Motif. PPL itself is implemented in Lisp. KIV is used, among others, in the Verificaiton...
  • SHEEP

  • Referenced in 37 articles [sw00855]
  • fluid mechanics. It was based on the Lisp Algebraic Manipulator LAM (whence the name Sheep...
  • Multilisp

  • Referenced in 33 articles [sw09420]
  • computation. Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • Milawa kernel (2,000 lines of Lisp) is faithful to the logic. Going further ... machine-code implementation of a Lisp runtime. Our top-level HOL4 theorem states that when ... verified Lisp, it will only print theorem statements that are semantically true. We believe that...
  • SETL

  • Referenced in 22 articles [sw36325]
  • whose other well-known mem­ bers are LISP, APL, SNOBOL, and PROLOG. These languages ... PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists as data objects...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • functions. CENTAUR is essentially written in Lisp (Le_Lisp). The logical engine is Prolog ... virtual graphics facility of Le_Lisp, itself primarily implemented on top of X-Windows...
  • InKa

  • Referenced in 18 articles [sw19610]
  • till 1999. It is written in LISP (two versions: CMU-Lisp and Allegro-Lisp...
  • FINGER

  • Referenced in 25 articles [sw07104]
  • finite element analysis FINGER is a LISP-based system to derive formulas needed in finite...
  • ELM-ART

  • Referenced in 22 articles [sw10151]
  • based ITS to support learning programming in Lisp. ELM-ART demonstrates how several known...
  • Jitawa

  • Referenced in 14 articles [sw12812]
  • Jitawa — a verified Lisp runtime for Milawa. This page contains source code, documentation and proofs ... scripts relating to a verified Lisp runtime, called Jitawa. Jitawa was designed to host Jared...
  • Scheme

  • Referenced in 16 articles [sw13072]
  • purpose programming language, descended from Algol and Lisp, widely used in computing education and research...