Results 1 to 10 of about 27,374 (212)
Common LISP as Simulation Program (CLASP) of Electronic Circuits [PDF]
Radioengineering, 2011 In this paper, an unusual and efficient usage of functional programming language Common LISP as simulation program (CLASP) for electronic circuits is proposed.
D. Cerny, J. Dobes
doaj +4 more sources
April: APL Compiling to Common Lisp
, 2022 This paper demonstrates the April APL compiler (code hosted at https://github.com/phantomics/april). April compiles a subset of the APL language into Common Lisp, allowing APL s terse, efficient syntax to be leveraged for array processing and mathematical operations within a Common Lisp program.
Andrew Sengul
+9 more sources
Development of a Translator from LLVM to ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual ...
David S. Hardin +3 more
doaj +6 more sources
Bootstrapping Common Lisp using Common Lisp
, 2019 Some Common Lisp implementations evolve through careful modifications to an existing image. Most of the remaining implementations are bootstrapped using some lower-level language, typically C. As far as we know, only SBCL is bootstrapped from source code written mainly in Common Lisp.
Irène Durand, Robert Strandh
openalex +4 more sources
A critique of common LISP [PDF]
Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84, 1984 A major goal of the COMMON LISP committee was to define a Lisp language with sufficient power and generality that people would be happy to stay within its confines and thus write inherently transportable code. We argue that the resulting language definition is too large for many short-term and medium-term potential applications.
Rodney A. Brooks, Richard P. Gabriel
openalex +2 more sources
CLoX: Common Lisp Objects for XEmacs
, 2010 CLoX is an ongoing attempt to provide a full Emacs Lisp implementation of the Common Lisp Object System, including its underlying meta-object protocol, for XEmacs. This paper describes the early development stages of this project. CLoX currently consists in a port of Closette to Emacs Lisp, with some additional features, most notably, a deeper ...
Didier Verna
openalex +4 more sources
Implementing a Portable Clinical NLP System with a Common Data Model -- a Lisp Perspective
, 2018 This paper presents a Lisp architecture for a portable NLP system, termed LAPNLP, for processing clinical notes. LAPNLP integrates multiple standard, customized and in-house developed NLP tools.
Yuan Luo, Peter Szolovits
openalex +4 more sources
CMU Common Lisp User's Manual [PDF]
, 1992 CMU Common Lisp is an implementation of that Common Lisp is currently supported on MIPS-processor DECstations, Sparc-based workstations from Sun and the IBM RT PC, and other ports are planned. All architectures are supported under Mach, a Berkeley Unix 4.3 binary compatible operating system. The Sparc is also supported under SunOS.
Robert MacLachlan
openalex +3 more sources
Fast floating-point processing in Common Lisp [PDF]
ACM Transactions on Mathematical Software, 1995 Lisp, one of the oldest higher-level programming languages, has rarely been used for fast numerical (floating-point) computation. We explore the benefits of Common Lisp, an emerging new language standard with some excellent implementations, for numerical computation.
Richard J. Fateman +3 more
openalex +4 more sources
Efficient Open World Reasoning for Planning [PDF]
Logical Methods in Computer Science, 2006 We consider the problem of reasoning and planning with incomplete knowledge and deterministic actions. We introduce a knowledge representation scheme called PSIPLAN that can effectively represent incompleteness of an agent's knowledge while allowing for ...
Tamara Babaian, James G. Schmolze
doaj +1 more source