Search results for "Lisp"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Richard P. Gabriel, John McCarthy 0001	Queue-based Multi-processing Lisp.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
48	Rodney A. Brooks, Richard P. Gabriel	A Critique of Common Lisp.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
48	Robert H. Halstead Jr.	Implementation of Multilisp: Lisp on a Multiprocessor.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
48	Henry Lieberman	Steps Toward Better Debugging Tools for Lisp.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
48	Skef Wholey, Scott E. Fahlman	The Design of an Instruction Set for Common Lisp.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
48	Eiichi Goto, Takashi Soma, N. Inada, Tetsuo Ida, Masanori Idesawa, Kei Hiraki, M. Suzuki, Kentaro Shimizu, B. Philipov	Design of a Lisp Machine - FLATS.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.	S-1 Common Lisp Implementation.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Richard P. Gabriel, Larry Masinter	Performance of Lisp Systems.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Claudio Gutiérrez 0002	Prolog Compared with Lisp.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Jonathan Rees, Norman Adams	T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Guy L. Steele Jr.	An Overview of Common Lisp.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Jeffrey L. Dawson	Improved Effectiveness from a Real Time Lisp Garbage Collector.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	Martin L. Griss, Eric Benson, Gerald Q. Maguire Jr.	PSL: A Portable LISP System.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
48	B. Greenberg	Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Drew V. McDermott	An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Larry Masinter, L. Peter Deutsch	Local Optimization in a Compiler for Stack-based LISP Machines.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Donald P. McKay, Stuart C. Shapiro	MULTI - A LISP Based Multiprocessing System.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	J. White	Address/Memory Management for a Gigantic LISP Environment.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	John McCarthy 0001	LISP - notes on its past and future.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	W. Rowan	A LISP Compiler Producing Compact Code.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	M. Model	Multiprocessing via Intercommunicating LISP Systems.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	G. Print	Explicit Parallelism in LISP-like Languages.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Steven S. Muchnick, Uwe F. Pleban	A Semantic Comparison of LISP and Scheme.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	John A. Campbell, John P. Fitch	Symbolic Computing with and without Lisp.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Pär Emanuelson, Anders Haraldsson	On Compiling Embedded Languages in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Kent M. Pitman	Special Forms in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Jed B. Marti	Compilation Techniques for a Control-Flow Concurrent LISP System.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	B. Steele	Strategies for Data Abstraction in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
48	Horia F. Pop	A Tutorial on Object-Oriented Functional Programming.	CEFP	2007	DBLP DOI BibTeX RDF
48	Henry Lieberman	Reversible Object-Oriented Interpreters.	ECOOP	1987	DBLP DOI BibTeX RDF
47	J. Michael Ashley, R. Kent Dybvig	An Efficient Implementation of Multiple Return Values in Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME, Common Lisp
47	Guillermo Juan Rozas	Taming the Y Operator.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	LISP
47	Paul R. Wilson 0001, Michael S. Lam, Thomas G. Moher	Caching Considerations for Generational Garbage Collection.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	Common Lisp
47	Gregor Kiczales, Luis Rodriguez	Efficient Method Dispatch in PCL.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	Common Lisp, CLOS
47	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
47	Dorai Sitaram, Matthias Felleisen	Reasoning with Continuations II: Full Abstraction for Models of Control.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
45	Michael Raskin	Lisp in the middle - using Lisp to manage a Linux system.	ELS	2021	DBLP BibTeX RDF
45	Irène Durand, Robert Strandh	Bootstrapping Common Lisp Using Common Lisp.	ELS	2019	DBLP DOI BibTeX RDF
45	Michal Herda	Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation.	ELS	2017	DBLP BibTeX RDF
45	Roy M. Turner	LP/LISP: literate programming for Lisp.	ILC	2010	DBLP DOI BibTeX RDF
44	Chunyu Hu, Jennifer C. Hou	LISP: Link-Indexed Statistical Traffic Prediction Approach to Improving IEEE 802.11 PSM.	ICDCS	2004	DBLP DOI BibTeX RDF
44	Carsten Hammer, Thomas Henties	Using a Weak Coherency Model for a Parallel Lisp.	EDMCC	1991	DBLP DOI BibTeX RDF
44	Chung-Kwong Yuen, Weng-Fai Wong	A self interpreter for BaLinda Lisp.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
44	David R. Beuerman	REDBOL or RElational Data Base Operators in Lisp and Lispit (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
43	R. B. Abhyankar, N. Baharam	Logic programming in LISP with controlled search (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	LISP, LISP
43	Ted J. Biggerstaff	Factored Specifications In The Synthesis Of LISP Functions.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
42	Dennis Holmes, John E. Howland	APROL: a Hybrid Language.	APL	1993	DBLP DOI BibTeX RDF	APL, LISP, SCHEME
42	Kei Yuasa	A browsing interface for S-expressions.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	LISP
42	Fritz Henglein	Global Tagging Optimization by Type Inference.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
42	Eric Mohr, David A. Kranz, Robert H. Halstead Jr.	Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME
42	Benjamin G. Zorn	Comparing Mark-and-Sweep and Stop-and-Copy Garbage Collection.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
42	Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba	Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
42	R. Kent Dybvig, Robert Hieb	A Variable-Arity Procedural Interface.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
38	Richard J. Fateman, Raymond Toy	Converting call-by-reference to call-by-value: Fortran and Lisp coexisting.	ISSAC	2003	DBLP DOI BibTeX RDF	fortran, lisp, conversion, call
38	John K. Reid	Remark on "Fast Floating-Point Processing in Common Lisp".	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	Fortran, Fortran 90, Common Lisp, floating-point computation
38	David J. Nordstrom	Threading Lisp.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	LISP, FORTH
38	Joel Welling, Chris Nuuja, Phil Andrews	P3D: a Lisp-based format for representing general 3D models.	SC	1990	DBLP DOI BibTeX RDF	Common Lisp
38	David A. Kranz, Robert H. Halstead Jr., Eric Mohr	Mul-T: A High-Performance Parallel Lisp.	PLDI	1989	DBLP DOI BibTeX RDF	LISP
38	Howard Trickey	C++ versus LISP: a case study.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C++, LISP
38	Roberto Salama, Wentai Liu, Ronald S. Gyurcsik	Software experience with concurrent C and LISP in a distributed system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	C, UNIX, LISP
38	R. Beckmann, Kay-Ulrich Felgentreu	The Impact of the LCC-Optimization on the Performance of a Static Scope LISP Interpreter.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF	LISP
38	Mario Mango Furnari	Pascal Implementation of a LISP Interpreter.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal LISP
38	Phillip D. Summers	A Methodology for LISP Program Construction from Examples.	J. ACM	1977	DBLP DOI BibTeX RDF	LISP
38	Daniel G. Bobrow, Daniel L. Murphy 0001	A note on the efficiency of a LISP computation in a paged machine.	Commun. ACM	1968	DBLP DOI BibTeX RDF	efficiency of paged computations, list processor implementation, secondary storage utilization, LISP, storage management, paging
38	A. C. Norman	Compact Delivery Support for REDUCE.	DISCO	1993	DBLP DOI BibTeX RDF
38	Billy G. Claybrook	LPL: a generalized list processing language.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
37	Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil	Multilanguage Interoperability in Distributed Systems.	ICSE	1996	DBLP BibTeX RDF	Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism
37	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
37	Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba	Dataflow Computing Models, Languages, and Machines for Intelligence Computations.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages
37	Mark Edel	The Tinkertoy Graphical Programming Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical programming environment, Tinkertoy graphical interface, user interface, user interfaces, computer graphics, programming environments, Lisp, LISP, icons, text editing
37	Wilfred J. Hansen	Compact list representation: definition, garbage collection, and system implementation.	Commun. ACM	1969	DBLP DOI BibTeX RDF	compact list, free storage, list processing system, list representation, plex, plex processing, primitive list operations, storage reclamation, data structure, garbage collection, LISP, LISP, pointer, data representation, macro, list, relocation, list structure
34	Magnus O. Myreen, Michael J. C. Gordon	Verified LISP Implementations on ARM, x86 and PowerPC.	TPHOLs	2009	DBLP DOI BibTeX RDF
34	James Dean Palmer	Ginger: implementing a new Lisp family syntax.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
34	Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner	Lisp.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
34	Christophe Rhodes	SBCL: A Sanely-Bootstrappable Common Lisp.	S3	2008	DBLP DOI BibTeX RDF
34	António Menezes Leitão	Migration of Common Lisp Programs to the Java Platform -The Linj Approach.	CSMR	2007	DBLP DOI BibTeX RDF
34	Christophe Rhodes, Pascal Costanza, Theo D'Hondt, Arthur Lemmens, Hans Hübner	Lisp.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
34	Christophe Rhodes, Pascal Costanza, Theo D'Hondt, Arthur Lemmens	Lisp.	ECOOP Workshops	2006	DBLP DOI BibTeX RDF
34	Taejoon Park, Kang G. Shin	LiSP: A lightweight security protocol for wireless sensor networks.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	lightweight security, sensor networks, Authentication, key management
34	Kent M. Pitman	Condition Handling in the Lisp Language Family.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
34	Gilles Barbedette	LISPO2: a Persistent Object-Oriented Lisp.	EDBT	1990	DBLP DOI BibTeX RDF
34	Mark A. Jones	A Comparison of LISP Specifications of Function Definition and Argument Handling.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
34	Neil D. Jones, Steven S. Muchnick	Flow Analysis and Optimization of Lisp-Like Structures.	POPL	1979	DBLP DOI BibTeX RDF
33	Laurence Tratt, Roel Wuyts	Guest Editors' Introduction: Dynamically Typed Languages.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	Lua, Lisp, Smalltalk, Python, Ruby, CLOS, dynamically typed languages
33	Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara	A Dedicated Small Computer for Artificial Intelligence.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog, Common Lisp
33	John P. Fitch	A Delivery System for REDUCE.	ISSAC	1990	DBLP DOI BibTeX RDF	C, LISP, REDUCE
33	James R. Slagle, Ashim Bose, P. Busalacchi, C. Wee	Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	LISP
33	Richard H. Lathrop, Robert S. Kirk	An extensible object-oriented mixed-mod functional simulation system.	DAC	1985	DBLP DOI BibTeX RDF	LISP
33	J. H. Jacobs, Mark R. Swanson	UCL+P - Defining and Implementing Persistent Common Lisp.	LISP Symb. Comput.	1997	DBLP BibTeX RDF
33	Suresh Jagannathan	TS/Scheme: Distributed Data Structures in Lisp.	LISP Symb. Comput.	1994	DBLP BibTeX RDF
33	Robert R. Kessler (eds.)	Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
33	Hsianlin Dzeng, Christopher T. Haynes	Type Reconstruction for Variable-Arity Procedures.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
33	A. V. S. Sastry, William D. Clinger	Parallel Destructive Updating in Strict Functional Languages.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
33	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
33	Andrew P. Tolmach	Tag-Free Garbage Collection Using Explicit Type Parameters.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
33	Cordelia V. Hall	Using Hindley-Milner Type Inference to Optimise List Representation.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
33	William D. Clinger, Lars Thomas Hansen	Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
33	Suresh Jagannathan, Stephen Weeks	Analyzing Stores and References in a Parallel Symbolic Language.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	T
33	Darko Stefanovic, J. Eliot B. Moss	Characterization of Object Behaviour in Standard ML of New Jersey.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Standard ML
33	Tyng-Ruey Chuang	A Randomized Implementation of Multiple Functional Arrays.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF