Search results for "lisp"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Richard S. Wallace	An easy implementation of PiL (Prolog in Lisp).	SIGART Newsl.	1983	DBLP DOI BibTeX RDF
15	Gordon S. Novak	GLISP: A Lisp-Based Programming System with Data Abstraction.	AI Mag.	1983	DBLP BibTeX RDF
15	Bernhard Nebel	Ist LISP eine 'langsame' Sprache?	GWAI	1983	DBLP DOI BibTeX RDF
15	Andreas Eick, Elfriede Fehr	Inconsistencies of pure LISP.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
15	P. Greussay	Un mariage heureux entre LISP et PROLOG: le système LOVLISP.	SPLT	1983	DBLP BibTeX RDF
15	David S. Touretzky	A comparison of reduction in APL with polyarity in LISP.	APL	1983	DBLP DOI BibTeX RDF
15	Armin B. Cremers, Thomas N. Hibbard	Applicative State Transition Systems in LISP-Like Notation.	GI Jahrestagung	1983	DBLP DOI BibTeX RDF
15	Claus M. Müller	LISP - Eine Sprache zur Symbolverarbeitung.	Intelligenztechnologie	1983	DBLP BibTeX RDF
15	Joachim H. Laubsch	Interaktive Programmentwicklungsumgebungen für Lisp und Smalltalk.	Intelligenztechnologie	1983	DBLP BibTeX RDF
15	Christian Rathke, Joachim H. Laubsch	OBJTALK - Eine Erweiterung von LISP zum objektorientierten Programmieren.	Objektorientierte Software- und Hardwarearchitekturen	1983	DBLP BibTeX RDF
15	Franco di Primio	Realisierung objektorientierter Konzepte in LISP.	Objektorientierte Software- und Hardwarearchitekturen	1983	DBLP BibTeX RDF
15	Shigeo Sugimoto, Kiyoshi Agusa, Koichi Tabata, Yutaka Ohno	A Multi-Microprocessor System for Concurrent LISP.	ICPP	1983	DBLP BibTeX RDF
15	Jed Marti, John P. Fitch	The Bath concurrent LISP machine.	EUROCAL	1983	DBLP DOI BibTeX RDF
15	Julian A. Padget	The ecology of LISP or the case for the preservation of the environment.	EUROCAL	1983	DBLP DOI BibTeX RDF
15	Herbert Stoyan	LISP compilation viewed as provable semantics preserving program transformation.	EUROCAL	1983	DBLP DOI BibTeX RDF
15	Hiromu Hayashi, Akira Hattori, Haruo Akimoto	ALPHA: A High-Performance LISP Machine Equipped with a New Stack Structure and Garbage Collection System	ISCA	1983	DBLP DOI BibTeX RDF
15	Yoshinori Yamaguchi, Kenji Toda, Toshitsugu Yuba	A Performance Evaluation of a Lisp-Based Data-Driven Machine (EM-3)	ISCA	1983	DBLP DOI BibTeX RDF
15	Masahiko Sato 0001, Takafumi Sakurai	Qute: A Prolog/Lisp Type Language for Logic Programming.	IJCAI	1983	DBLP BibTeX RDF
15	Sanjai Narain, David McArthur, Philip Klahr	Large-Scale System Development in Several Lisp Environments.	IJCAI	1983	DBLP BibTeX RDF
15	Rabbe Fogelholm, Inge Frick	Standard LISP for the VAX: a provisional implementation.	SIGSAM Bull.	1982	DBLP DOI BibTeX RDF
15	Zdenêk Kalina	Running REDUCE and lisp/360 interactively under a time sharing option.	SIGSAM Bull.	1982	DBLP DOI BibTeX RDF
15	N. S. Sridharan	Impressions from the 1982 ACM Symposium on Lisp and Functional Programming.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
15	Ware Myers	Lisp Machines Displayed at AI Conference.	Computer	1982	DBLP DOI BibTeX RDF
15	Henner Kröger	Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer.		1982	RDF
15	Jed Marti	An optimizing compiler for LISP for the Z80.	SIGSMALL	1982	DBLP DOI BibTeX RDF
15	Kenneth M. Kahn	A Partial Evaluator of Lisp Programs Written in Prolog.	ICLP	1982	DBLP BibTeX RDF
15	Christian Percebois, Jean-Paul Sansonnet	A Lisp-machine to Implement Prolog.	ICLP	1982	DBLP BibTeX RDF
15	Serge Bourgault, Mehmet Dincbas, Didier Feuerstein	Programmation en logique en environnement Lisp.	SPLT	1982	DBLP BibTeX RDF
15	Thomas Christaller	Neuere Lisp-Basierte Softwaretechniken für die KI-Forschung: Dialekte, System Software und eingebettete Sprachen.	GI Jahrestagung	1982	DBLP BibTeX RDF
15	Robert Hood, Robert Melville	Real-Time Queue Operation in Pure LISP.	Inf. Process. Lett.	1981	DBLP DOI BibTeX RDF
15	Yasumasa Kanada, Tateaki Sasaki	LISP-based "big-float" system is not slow.	SIGSAM Bull.	1981	DBLP DOI BibTeX RDF
15	Daniel Weinreb, David A. Moon	The Lisp Machine manual.	SIGART Newsl.	1981	DBLP DOI BibTeX RDF
15	Gerald J. Sussman, Jack Holloway, Guy Lewis Steel Jr., Alan Bell	Scheme-79 - Lisp on a Chip.	Computer	1981	DBLP DOI BibTeX RDF
15	Günther Görz	Die LISP-Maschine - Das aktuelle Schlagwort.	Inform. Spektrum	1981	DBLP BibTeX RDF
15	Martin L. Griss, Anthony C. Hearn	A Portable LISP Compiler.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
15	Patrick Henry Winston, Berthold Klaus Paul Horn	LISP		1981	RDF
15	Henner Kröger	Static-Scope-Lisp: Zerlegung eines Interpretierers in Übersetzer und Laufzeitsystem.	GI Jahrestagung	1981	DBLP DOI BibTeX RDF
15	Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno	Concurrent LISP on a Multi-Micro-Processor System.	IJCAI	1981	DBLP BibTeX RDF
15	Kenneth M. Kahn	UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I.	IJCAI	1981	DBLP BibTeX RDF
15	Peter Szolovits, William A. Martin	Brand X: LISP Suport for Semantic Networks.	IJCAI	1981	DBLP BibTeX RDF
15	Dennis de Champeaux, Jos de Bruin	Symbolic Evaluation of LISP Functions with Side Effects for Verification.	IJCAI	1981	DBLP BibTeX RDF
15	Michael Deering, Joseph Faletti, Robert Wilensky	PEARL - A Package for Efficient Access to Representations in LISP.	IJCAI	1981	DBLP BibTeX RDF
15	Gary B. Goates, Suhas S. Patil	ABLE: A LISP-based layout modeling language with user-definable procedural models for storage/logic array design.	DAC	1981	DBLP BibTeX RDF
15	Richard J. Fateman	A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'.	SYMSACC	1981	DBLP DOI BibTeX RDF
15	John R. Levine	Why a Lisp-based command language?	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
15	John R. Ellis	A Lisp shell.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
15	Roger M. Firestone	An experimental LISP system for the SPERRY UNIVAC 1100 Series.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
15	Jed Marti, Anthony C. Hearn, Martin L. Griss, C. Griss	Standard LISP report.	SIGSAM Bull.	1980	DBLP DOI BibTeX RDF
15	Guy L. Steele Jr., Gerald J. Sussman	Design of a LISP-Based Microprocessor.	Commun. ACM	1980	DBLP DOI BibTeX RDF
15	James F. Wirth	MELD: a modest extensible LISP dialect.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF
15	Alexis Koster	An Algorithm for Translating Lisp Programs into Reduction Language Programs.	Symposium on Programming	1980	DBLP DOI BibTeX RDF
15	Wolfram-Manfred Lippe, Friedemann H. Simon	Semantics for LISP without Reference to an Interpreter.	Symposium on Programming	1980	DBLP DOI BibTeX RDF
15	N. Bauchrowitz, F. Simon	Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.	GI Jahrestagung	1980	DBLP DOI BibTeX RDF
15	Gary B. Goates, Martin L. Griss, Gary J. Herron	PICTUREBALM: A LISP-based graphics language system with flexible syntax and hierarchical data structure.	SIGGRAPH	1980	DBLP DOI BibTeX RDF
15	Jed Marti, Anthony C. Hearn, Martin L. Griss, C. Griss	Standard LISP report.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
15	Pierre Deransart	The language LISP does not exist?	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
15	Shimon Cohen	The A-TABLE data-type for LISP systems.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
15	Marco Ferrari, Giovanni Guida	DB: A LISP-Type Data Base System.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
15	Yves Kodratoff	A class of functions synthesized from a finite number of examples and a lisp program scheme.	Int. J. Parallel Program.	1979	DBLP DOI BibTeX RDF
15	Alan W. Biermann, Douglas R. Smith	A Production Rule Mechanism for Generating LISP Code.	IEEE Trans. Syst. Man Cybern.	1979	DBLP DOI BibTeX RDF
15	Douglas W. Clark	Measurements of Dynamic List Structure Use in Lisp.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
15	Pierre Deransart	Proof by Semantic Attributes of a LISP Compiler.	Comput. J.	1979	DBLP DOI BibTeX RDF
15	Steven L. Tanimoto, Philip Harrison	Task driven image understanding: lisp programming for vision research.	COMPSAC	1979	DBLP DOI BibTeX RDF
15	Louise Hay, Richard Larson	ZLISP: A lisp for a Micro-computer.	COMPSAC	1979	DBLP DOI BibTeX RDF
15	Alan J. Perlis, William H. Burge, Joel Moses, Vaughan R. Pratt	APL and LISP - should they be combined, and if so how?	APL	1979	DBLP DOI BibTeX RDF
15	Makoto Nagao, Jun'ichi Tsujii, Katsuto Nakajima, Kei Mitamura, Hachidai Ito	LISP Machine NK3 and Measurement of Its Performance.	IJCAI	1979	DBLP BibTeX RDF
15	Toshiaki Kurokawa	LISP Activities in Japan.	IJCAI	1979	DBLP BibTeX RDF
15	Kazuo Taki, Yukio Kaneda, Sadao Maekawa	The Experimental LISP Machine.	IJCAI	1979	DBLP BibTeX RDF
15	Martin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr.	TLISP -- a Transportable LISP implemented in P-code.	EUROSAM	1979	DBLP DOI BibTeX RDF
15	John McCarthy 0001	A micro-manual for LISP - not the whole truth.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
15	John McCarthy 0001	History of LISP.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
15	Dennis de Champeaux	Substad: For Fast Substitution in LISP, with an Application on Unification.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
15	Douglas W. Clark, C. Cordell Green	A Note on Shared List Structure in LISP.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
15	Jon L. White	LISP/370: a short technical description of the implementation.	SIGSAM Bull.	1978	DBLP DOI BibTeX RDF
15	Richard J. Fateman	Is a LISP machine different from a fortran machine?	SIGSAM Bull.	1978	DBLP DOI BibTeX RDF
15	Friedemann H. Simon, Peter Trademann	Eine Beziehung zwischen cons-freiem LISP und Stackautomaten.	J. Inf. Process. Cybern.	1978	DBLP BibTeX RDF
15	Alan W. Biermann	The Inference of Regular LISP Programs from Examples.	IEEE Trans. Syst. Man Cybern.	1978	DBLP DOI BibTeX RDF
15	Charles Rich, Howard E. Shrobe	Initial Report on a Lisp Programmer's Apprentice.	IEEE Trans. Software Eng.	1978	DBLP DOI BibTeX RDF
15	Richard M. Stallman	Surveyor's Forum: Structured Editing with a LISP.	ACM Comput. Surv.	1978	DBLP DOI BibTeX RDF
15	Erik Sandewall	Programming in an Interactive Environment: the LISP Experience.	ACM Comput. Surv.	1978	DBLP DOI BibTeX RDF
15	Erik Sandewall	Surveyor's Forum: Structured Editing with a LISP.	ACM Comput. Surv.	1978	DBLP DOI BibTeX RDF
15	Henry G. Baker	Shallow Binding in LISP 1.5.	Commun. ACM	1978	DBLP DOI BibTeX RDF
15	Yves Kodratoff, Jean Fargues	A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm".	AISB/GI (ECAI)	1978	DBLP BibTeX RDF
15	Erik Sandewall	What Structure does a LISP Program have - besides being a set of Procedures?	AISB/GI (ECAI)	1978	DBLP BibTeX RDF
15	John McCarthy 0001	History of LISP.	HOPL	1978	DBLP DOI BibTeX RDF
15	Rhon Williams	A Multiprocessing System for the Direct Execution of Lisp		1978	RDF
15	David H. D. Warren, Luis M. Pereira, Fernando Pereira 0003	Prolog - the language and its implementation compared with Lisp.	Artificial Intelligence and Programming Languages	1977	DBLP DOI BibTeX RDF
15	Douglas W. Clark, C. Cordell Green	An Empirical Study of List Structure in Lisp.	Commun. ACM	1977	DBLP DOI BibTeX RDF
15	John P. Fitch, A. C. Norman	Implementing LISP in a High-level Language.	Softw. Pract. Exp.	1977	DBLP DOI BibTeX RDF
15	Alan W. Biermann, Douglas R. Smith	The Hierarchical Synthesis of Lisp Scanning Programs.	IFIP Congress	1977	DBLP BibTeX RDF
15	Martin L. Griss, Mark R. Swanson	MBALM/1700: A microprogrammed LISP machine for the Burroughs B1726.	MICRO	1977	DBLP BibTeX RDF
15	Mike O'Donnell	Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic	STOC	1977	DBLP DOI BibTeX RDF
15	Harald Wertz	Understanding and Improving LISP Programs.	IJCAI	1977	DBLP BibTeX RDF
15	Robert Cartwright	A practical formal semantic definition and verification system for TYPED LISP.		1977	RDF
15	Patrick Greussay	An iterative lisp solution to the samefringe problem.	SIGART Newsl.	1976	DBLP DOI BibTeX RDF
15	Robert Cartwright	A Practical Formal Semantic Definition and Verification System for TYPED LISP		1976	RDF
15	Robert Cartwright	User-Defined Data Types as an Aid to Verifying LISP Programs.	ICALP	1976	DBLP BibTeX RDF
15	Bruce Anderson	A Brief Critique of LISP.	AISB (ECAI)	1976	DBLP BibTeX RDF
15	Friedemann H. Simon	Cons-freies Programmierenin LISP unter deletion-Strategie.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
15	Rózsa Péter	Die Rekursivität der Programmierungsprache "Lisp 1.5" in Spezialfällen der angeordneten freien holomorphen Mengen.	Acta Cybern.	1975	DBLP BibTeX RDF