Search results for "Lisp"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Guiseppe Attardi	The embeddable Common Lisp.	LUV	1994	DBLP DOI BibTeX RDF
30	John S. Boreczky	Building common Lisp applications with reasonable performance.	LUV	1993	DBLP DOI BibTeX RDF
30	John R. Hodgkinson	Bungee jumping off the ivory tower: payoffs and perils when fledgling computer professionals are imprinted on Lisp.	LUV	1993	DBLP DOI BibTeX RDF
30	Randal V. Zoeller, Jeff Galarneau	Knocking down the corporate barriers to Lisp.	LUV	1993	DBLP DOI BibTeX RDF
30	Edwin S. Petrus	SKILL: a Lisp based extension language.	LUV	1993	DBLP DOI BibTeX RDF
30	Gilles Barbedette	LISP O2: a Persistent Object-Oriented Lisp. (reprint from: EDBT 1990: 332-347)	Building an Object-Oriented Database System, The Story of O2	1992	DBLP BibTeX RDF
30	John R. Hodgkinson	Sleeping with the enemy: Lisp and C in a large, profitable real-time application.	LUV	1992	DBLP DOI BibTeX RDF
30	Markus Fischer	Unifying software elements with LISP-based object-oriented technology.	LUV	1992	DBLP DOI BibTeX RDF
30	Harry W. Egdorf	Lisp and portability: the process modeling system.	LUV	1992	DBLP DOI BibTeX RDF
30	Charles Dale	Connecting to a relational database application from Interleaf 5 using Lisp.	LUV	1992	DBLP DOI BibTeX RDF
30	Heribert Schütz	R-Lisp: eine erweiterte relationale Algebra in Lisp	Forschungsberichte, TU Munich	1990	RDF
30	Richard J. Fateman	A lisp-language Mathematica-to-lisp translator.	SIGSAM Bull.	1990	DBLP DOI BibTeX RDF
30	C. K. Yuen, W. F. Wong	A bidirectional data driven Lisp engine for the direct execution of Lisp in parallel.	SIGARCH Comput. Archit. News	1989	DBLP DOI BibTeX RDF
30	Keith Price	Book review: LISP LORE: A Guide to Programming the LISP Machine, (2nd Edition) by Hank Bromley and Richard Lamson (Kluwer Academic Publishers).	SIGART Newsl.	1988	DBLP DOI BibTeX RDF
30	Steffen Schulze-Kremer	Common LISP - ein geeigneter Lisp Standard?	Prax. Inf.verarb. Kommun.	1988	DBLP DOI BibTeX RDF
30	Keith Price	Book review: Lisp Lore: A Guide to Programming the Lisp Machine by: Hank Bromley Kluwer (Academic Publishers).	SIGART Newsl.	1987	DBLP DOI BibTeX RDF
30	Fausto Giunchiglia	Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.	COMPCON	1987	DBLP BibTeX RDF
30	Lee Boynton, Pierre Lavoie, Yann Orlarey, Camilo Rueda, David Wessel	MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh.	ICMC	1986	DBLP BibTeX RDF
30	Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.	Lisp-in-Lisp: High Performance and Portability.	IJCAI	1983	DBLP BibTeX RDF
30	Richard J. Fateman	Views on transportability of Lisp and Lisp-based systems.	SYMSACC	1981	DBLP DOI BibTeX RDF
30	Harald Wertz	Understanding Lisp-Programs is Improving Lisp-Programs.	GI Jahrestagung	1976	DBLP DOI BibTeX RDF
30	Herbert Stoyan	Comparison of two LISP-compilers: Standford versus DOS/ES-LISP.	J. Inf. Process. Cybern.	1975	DBLP BibTeX RDF
29	Robert Glück, Masahiko Kawabe	Revisiting an automatic program inverter for Lisp.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	LISP
29	Antonio Paulo Teles de Menezes Correia Leitao	A Formal Pattern Language for Refactoring of Lisp Programs.	CSMR	2002	DBLP DOI BibTeX RDF	Refactoring, Lisp, Pattern Languages
29	Michael L. Gassanenko	About Code Layout for Lisp.	ACM SIGPLAN Notices	2001	DBLP DOI BibTeX RDF	LISP
29	Robert St. Amant, Robert Michael Young	Links: Common Lisp resources on the Web.	Intell.	2001	DBLP DOI BibTeX RDF	Common Lisp
29	Erann Gat	Point of view: Lisp as an alternative to Java.	Intell.	2000	DBLP DOI BibTeX RDF	Java, LISP
29	Nicholas Pippenger	Pure Versus Impure Lisp.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	schematology, LISP, online computation
29	Ann E. Nicholson, K. M. Fraser	Methodologies for teaching new programming languages: a case study teaching LISP.	ACSE	1997	DBLP DOI BibTeX RDF	LISP
29	Nicholas Pippenger	Pure versus Impure LISP.	POPL	1996	DBLP DOI BibTeX RDF	LISP
29	Javier Sánchez, Jordi Vitrià	ViLi (Vision LISP): a software environment for teaching image processing and analysis.	ITiCSE	1996	DBLP DOI BibTeX RDF	LISP
29	Robert Muller	M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).	PEPM	1991	DBLP DOI BibTeX RDF	LISP
29	Süleyman Sevinc	Extending common LISP object system for discrete event modeling and simulation.	WSC	1991	DBLP DOI BibTeX RDF	LISP
29	Christian Masson, Remy Escassut, Denis Barbier, Daniel Winer, Gregory Chevallier	Object Oriented Lisp Implementation of the CHEOPS VLSI Floor Planning and Routing System.	DAC	1991	DBLP DOI BibTeX RDF	LISP
29	Richard J. Fateman	Canonical Representations in Lisp and Applications to Computer Algebra systems.	ISSAC	1991	DBLP DOI BibTeX RDF	Common Lisp
29	Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon	Common Lisp Object System Specification X2JI3 Document 88-002R	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	LISP
29	Kerry Kimbrough, Lamott Oren	Clue: A Common Lisp User Interface Environment.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF	LISP
29	Brian Cantwell Smith	Reflection and Semantics in Lisp.	POPL	1984	DBLP DOI BibTeX RDF	LISP
29	Richard C. Waters	User Format Control in a Lisp Prettyprinter.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF	LISP
29	Warren Teitelman	Clisp: Conversational Lisp.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Automatic error correction, programming, programming languages, Lisp, interactive systems, list processing, extensible languages
29	Robert Fenichel, Jerome C. Yochelson	A LISP garbage-collector for virtual-memory computer systems.	Commun. ACM	1969	DBLP DOI BibTeX RDF	LISP: garbage-collector, virtual memory, storage-allocation, list-processing
29	Knut Bahr	Letters to the editor: An auxiliary program to analyze LISP 1.5 programs.	Commun. ACM	1968	DBLP DOI BibTeX RDF	cross references, list processing language, debugging, program, program analysis, LISP
29	Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Real-Time GC in JeRTyTmVM Using the Return-Barrier Method.	ISORC	2005	DBLP DOI BibTeX RDF
29	Mirian Andrés, Vico Pascual, Ana Romero 0001, Julio Rubio 0001	Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
29	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
29	Zoran Putnik, Zoran Budimac, Mirjana Ivanovic	Turtle walk through functional language.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
29	Christian Queinnec	Compilation of Non-Linear, Second Order Patterns on S-Expressions.	PLILP	1990	DBLP DOI BibTeX RDF
29	Chandrajit L. Bajaj, Andrew V. Royappa	The GANITH algebraic geometry toolkit.	DISCO	1990	DBLP DOI BibTeX RDF
29	Chang Li	Concurrent programming language - LISPTALK.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
29	D. R. Beuerman	Database prototyping and implementation (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	J. E. Caviedas	How to Select Among Alternative Knowledge Representations for Better Knowledge Engineering.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	LISP, LISP, GENIE
28	Dennis S. Martin	A miniLISP interpreter.	SIGCSE	1987	DBLP DOI BibTeX RDF	LISP, LISP
28	Robert S. Boyer, J Strother Moore, Robert E. Shostak	Primitive Recursive Program Transformations.	POPL	1976	DBLP DOI BibTeX RDF	Theorem proving, Program verification, LISP, LISP, Flowcharts, Structural induction
24	Mirian Andrés, Laureano Lambán, Julio Rubio 0001	Executing in Common Lisp, Proving in ACL2.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
24	Yulia Korukhova	Automatic Deductive Synthesis of Lisp Programs in the System ALISA.	JELIA	2006	DBLP DOI BibTeX RDF
24	Federico Peinado, Pablo Gervás	Minstrel Reloaded: From the Magic of Lisp to the Formal Semantics of OWL.	TIDSE	2006	DBLP DOI BibTeX RDF	Computational Narratology, Semantic Technologies, Story Generation, Story Representation
24	Richard Potter	Computation Scrapbooks of Emacs Lisp Runtime State.	HCC	2001	DBLP DOI BibTeX RDF
24	Steven L. Tanimoto, Jeremy W. Baer	Programming at the End of the Learning Curve: Lisp Scripting for Image Processing.	HCC	2001	DBLP DOI BibTeX RDF
24	Axel Dold, Vincent Vialard	A Mechanically Verified Compiling Specification for a Lisp Compiler.	FSTTCS	2001	DBLP DOI BibTeX RDF
24	Isabel Fernández-Anta, Eva Millán, José-Luis Pérez-de-la-Cruz	Adaptation and Generation in a Web-Based Lisp Tutor.	AH	2000	DBLP DOI BibTeX RDF
24	Matt Kaufmann, J Strother Moore	An Industrial Strength Theorem Prover for a Logic Based on Common Lisp.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions
24	Salvatore Caporaso, Michele Zito 0001, Nicola Galesi, Emanuele Covino	Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy.	CIAC	1997	DBLP DOI BibTeX RDF
24	Hermann Ilmberger, Sabine Thürmel	A Toolkit for Debugging Parallel Lisp Programs.	PARLE (1)	1991	DBLP DOI BibTeX RDF
24	Christine Choppy, G. Guiho, Stéphane Kaplan	A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
24	Anders Haraldsson	A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp.	POPL	1978	DBLP DOI BibTeX RDF
24	Daniel G. Bobrow, Daniel L. Murphy 0001	Structure of a LISP system using two-level storage.	Commun. ACM	1967	DBLP DOI BibTeX RDF
23	Luigi Iannone, Olivier Bonaventure	On the cost of caching locator/ID mappings.	CoNEXT	2007	DBLP DOI BibTeX RDF	locator/ID separation, routing, LISP, addressing, internet architecture
23	Augustin Lux	The Imalab method for vision systems.	Mach. Vis. Appl.	2004	DBLP DOI BibTeX RDF	Vision library, C + +, Prolog, Lisp, Computer vision systems
23	Francoise Balmas	Toward a Framework for Conceptual and Formal Outlines of Programs.	WCRE	1997	DBLP DOI BibTeX RDF	formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops
23	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing.	ICDAR	1995	DBLP DOI BibTeX RDF	complex diagrams, constraint-based parsing, constraint grammars, graphics primitives, vectorized diagrams, genetic diagrams, finite state automata diagrams, Macintosh Common Lisp, Macintosh Quadra 700, finite automata, polygons, lines, spatial indexing, electronic documents, circles, Bezier curves
23	Olaf Bachmann, Paul S. Wang, Eugene V. Zima	Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions.	ISSAC	1994	DBLP DOI BibTeX RDF	Common Lisp
23	Chen-Chau Chu, Jake K. Aggarwal	Image Interpretation Using Multiple Sensing Modalities.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiple sensing modalities, AIMS, multisensor fusion, KEE format, knowledge-based interpretation modules, concurrent service manager, optical radar, remote sensing by laser beam, computer vision, image segmentation, knowledge based systems, computerised pattern recognition, Lisp, image interpretation, infrared imaging, forward chaining, thermal imagers, laser radar
23	Eric Mohr, David A. Kranz, Robert H. Halstead Jr.	Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	granularity problem, simpler load-based inlining method, dynamic bad level, robust lazy task creation method, processing results, Mul-T, performance statistics, naturally expressed algorithms, parallel Lisp systems, parallel algorithm, parallel algorithms, parallel programming, Scheme, parallel languages, parallel implementation, parallel tasks
23	Ikuo Nakata, Masataka Sassa	Programming with Streams in a Pascal-Like Language.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
23	Rangachar Kasturi, Juan Alemany	Information Extraction of Paper-Based Maps.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	paper-based maps, spatial features, image-analysis algorithms, closed contours, map images, query processor, information retrieval, user interfaces, Fortran, database management systems, query languages, shortest paths, Lisp, distances, syntax, cartography, geographic data
23	Robert L. Nord, Frank Pfenning	The Ergo Attribute System.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	LISP
23	Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual	CENTAUR: The System.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	LISP
23	V. K. Chawla, R. K. Ragade, P. B. Deshpande	ProCEED: An Expert System for Multivariate Process Control Systems Design.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	FORTRAN, LISP
23	Ron Goldman 0001, Richard P. Gabriel	Qlisp: Experience and New Directions.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	LISP
23	Robert H. Halstead Jr.	Multilisp: A Language for Concurrent Symbolic Computation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	LISP, SCHEME, MULTILISP
23	Martin Jourdan	Strongly non-circular attribute grammars and their recursive evaluation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF	circularity tests, evaluation by need, recursive evaluation, Lisp, storage management, Attribute grammars
23	Richard P. Gabriel, Martin E. Frost	A Programming Environment for a Timeshared System.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	LISP, SAIL
23	Peter Henderson 0001, James H. Morris Jr.	A Lazy Evaluator.	POPL	1976	DBLP DOI BibTeX RDF	LISP
23	Chris J. Cheney	A Nonrecursive List Compacting Algorithm.	Commun. ACM	1970	DBLP DOI BibTeX RDF	compact list, list compacting, garbage collection, LISP
19	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
19	Francisco-Jesús Martín-Mateos, Julio Rubio 0001, José-Luis Ruiz-Reina	ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
19	Emanuel Kitzelmann	Analytical Inductive Functional Programming.	LOPSTR	2008	DBLP DOI BibTeX RDF
19	Yulia Korukhova	An approach to automatic deductive synthesis of functional programs.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 68T20
19	Robert Strandh, John Hamer, Gilbert Baumann	Using Stealth Mixins to Achieve Modularity.	ASWEC	2007	DBLP DOI BibTeX RDF
19	Daniel Migault, Marcus Brunner	Description of a Naming Architecture Managing Cryptographic Identifiers.	IPOM	2007	DBLP DOI BibTeX RDF
19	Ryan Culpepper, Matthias Felleisen	Debugging macros.	GPCE	2007	DBLP DOI BibTeX RDF
19	Will Fitzgerald, R. James Firby, Michael Hannemann	Demonstration of the complex event recognition architecture for multimodal event parsing.	IUI	2003	DBLP DOI BibTeX RDF
19	Tetsuo Kamina, Tetsuo Tamai	Embedding XML Processing Toolkit on General Purpose Programming Language.	APSEC	2002	DBLP DOI BibTeX RDF
19	Zafer Bingul, Poolsak Koseeyaporn, George E. Cook	Windows-based robot simulation tools.	ICARCV	2002	DBLP DOI BibTeX RDF
19	Juan J. Flores	Complex fans: a representation for vectors in polar form with interval attributes.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	complex fans, abstract data type, qualitative reasoning, interval computation, complex numbers
19	Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi	Visualisation of Executable Formal Specifications for User Validation.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
19	Ján Komara, Paul J. Voda	Theorems af Péter and Parsons in Computer Programming.	CSL	1998	DBLP DOI BibTeX RDF
19	Ute Schmid	Programmieren durch analoges Schließen .	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
19	Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon	The Real-Time Graphical Interval Logic Toolset.	CAV	1996	DBLP DOI BibTeX RDF
19	Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann	KEIM: A Toolkit for Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF