|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 736 occurrences of 390 keywords
|
|
|
Results
Found 1752 publication records. Showing 1752 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 1752 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|