Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Colin Runciman, Nigel Jagger |
Relative Specification and Transformational Re-Use of Functional Programs. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Erik Ruf, Daniel Weise |
LogScheme: Integrating Logic Programming into Scheme. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Margaret H. Derbyshire |
Mark Scan Garbage Collection on a Distributed Architecture. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | R. Ghosh-Roy |
Conjunction-Type Standard ML Polymorphism. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Dorai Sitaram, Matthias Felleisen |
Control Delimiters and Their Hierarchies. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Göran Båge, Gary Lindstrom |
Combinator Evaluation of Functional Programs with Logical Variables. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Pierre E. Bonzon |
A Metacircular Evaluator for a Logical Extension of Scheme. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Mohammad Pourheidari, Robert R. Kessler, Harold Carr |
Moped (A Portable Debugger). |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Andrew W. Appel |
Runtime Tags Aren't Necessary. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
18 | Klaus Grue |
Arrays in Pure Functional Programming Languages. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
18 | Hassan Aït-Kaci, Roger Nasr |
Integrating Logic and Functional Programming. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
18 | Williams Ludwell Harrison III |
The Interprocedural Analysis and Automatic Parallelization of Scheme Programs. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
18 | Neil D. Jones, Peter Sestoft, Harald Søndergaard |
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
18 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: A General Macro Mechanism. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | Kevin J. Lang, Barak A. Pearlmutter |
Oaklisp: An Object-Oriented Dialect of Scheme. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | Adrienne G. Bloss, Paul Hudak, Jonathan Young |
Code Optimizations for Lazy Evaluation. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | Richard P. Gabriel, Kent M. Pitman |
Endpaper: Technical Issues of Separation in Function Cells and Value Cells. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | Karl J. Lieberherr |
Object-Oriented Programming with Class Dictionaries. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
18 | John T. O'Donnell, Cordelia V. Hall |
Debugging in Applicative Languages. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
15 | Michael Wessel |
Notes on Refactoring Exponential Macros in Common Lisp. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nathan Braswell, Sharjeel Khan, Santosh Pande |
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Rodríguez-Natal, Vina Ermagan, Albert Cabellos, Sharon Barkai, Mohamed Boucadair |
Publish/Subscribe Functionality for the Locator/ID Separation Protocol (LISP). |
RFC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Steinert, Marco Häberle, Jan-Oliver Nick, Dino Farinacci, Michael Menth |
P4-LISP: A P4-Based High-Performance Router for the Locator/Identifier Separation Protocol. |
NetSoft |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tom Piron, Luigi Iannone, Benoit Donnet |
Implementation and Evaluation of LISP Publish/Subscribe. |
6GNet |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyoungjae Sun, Jangwon Lee, Young-Han Kim 0002 |
LISP-Based Control Plane for Service Connectivity in Multi-Cluster Cloud Systems. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fritz Kunze, Lauren Kunze |
The History of Franz and Lisp. |
IEEE Ann. Hist. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Rodríguez-Natal, Vina Ermagan, Anton Smirnov, Vrushali Ashtaputre, Dino Farinacci |
Vendor-Specific LISP Canonical Address Format (LCAF). |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Maino, Jennifer Lemon, Puneet Agarwal, Darrel Lewis, Michael Smith |
Locator/ID Separation Protocol (LISP) Generic Protocol Extension. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dino Farinacci, Vince Fuller, Dave Meyer, Darrel Lewis, Albert Cabellos |
The Locator/ID Separation Protocol (LISP). |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dino Farinacci, Fabio Maino, Vince Fuller, Albert Cabellos |
Locator/ID Separation Protocol (LISP) Control Plane. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Boucadair, Christian Jacquenet |
Locator/ID Separation Protocol (LISP): Shared Extension Message and IANA Registry for Packet Type Allocations. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Albert Cabellos, Damien Saucez |
An Architectural Introduction to the Locator/ID Separation Protocol (LISP). |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Iannone, Damien Saucez, Olivier Bonaventure |
Locator/ID Separation Protocol (LISP) Map-Versioning. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Maino, Vina Ermagan, Albert Cabellos, Damien Saucez |
Locator/ID Separation Protocol Security (LISP-SEC). |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Huanyu Chi, Zekun Fei, Peinuo Li, Boyu Yang, Zhi Wang 0014, Li Gu |
LISP-TBCNN: An AutoCAD Malware Detection Approach. |
DSC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jun Hu, Tian Pan 0001, Yujie Chen, Xuebei Zhang, Tao Huang 0005, Yunjie Liu 0001 |
LISP-LEO: Location/Identity Separation-based Mobility Management for LEO Satellite Networks. |
GLOBECOM |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna (eds.) |
Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022 |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Sam Ritchie |
Building SICMUtils, the Atelier of Abstractions. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Miguel Marcelino, António Menezes Leitão |
Transpiling Python to Julia using PyJL. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Didier Verna |
ETAP: Experimental Typesetting Algorithms Platform. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Michael Raskin |
QueryFS: compiling queries to define a filesystem. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover |
RacketLogger: Logging and Visualising Changes in DrRacket. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Stefan Monnier |
Open Closures - Disclosing lambda's inner monomaniac object! |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Robert Strandh, Irène Durand |
A CLOS protocol for lexical environments. |
ELS |
2022 |
DBLP BibTeX RDF |
|
15 | Kyoungjae Sun, Younghan Kim 0002 |
LISP-Based Integrated Control Plane Framework for Service Function Chaining in Distributed Edge Clouds. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tai-Hoon Kim, Gulshan Kumar, Rahul Saha, William J. Buchanan, Tannishtha Devgun, Reji Thomas |
LiSP-XK: Extended Light-Weight Signcryption for IoT in Resource-Constrained Environments. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mattias Gabriel, Luigi Iannone, Benoit Donnet |
Lisp Mapping System as DoS Amplification Vector. |
IEEE Netw. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Marco Heisig (eds.) |
Proceedings of the 14th European Lisp Symposium, ELS 2021, Online, May 3-4, 2021 |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Mark Thom, Harold Boley, Theodoros Mitsikas |
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. |
RuleML+RR |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nada Amin |
Staged Relational Interpreters: Running Backwards, Faster. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Andrew Sorensen |
Symbolic expressions for cyber-physical programming. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Hayley Patton |
A replicated object system. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Jim E. Newton, Adrien Pommellet |
A Portable, Simple, Embeddable Type System. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Marc-André Bélanger, Marc Feeley |
A Scheme Foreign Function Interface to JavaScript Based on an Infix Extension. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Antoine Hacquard, Didier Verna |
A Corpus Processing and Analysis Pipeline for Quickref. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Andrew Lawson, Inna Grinis |
Producing News Analytics and Turning them into Actionable Insights. |
ELS |
2021 |
DBLP BibTeX RDF |
|
15 | Stefan Monnier, Michael Sperber |
Evolution of Emacs Lisp. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Kyoungjae Sun, Younghan Kim 0002 |
Enhanced LISP Mapping System for Optimizing Service Path in Edge Computing Environment. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marco Antoniotti |
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Eric C. Peterson, Peter J. Karalekas |
aether: Distributed system emulation in Common Lisp. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Bohdan Khomtchouk, Jonah Fleishhacker |
21st Century Lisp in Academic Research and Pedagogy. |
Scheme@ICFP |
2020 |
DBLP BibTeX RDF |
|
15 | Kyoungjae Sun, Young-Han Kim 0002 |
LISP-based Hierarchical Service Mobility Management for the Tactical Edge Computing. |
ICTC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ioanna Matilde Dimitriou Henríquez (eds.) |
Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020. |
ELS |
2020 |
DBLP BibTeX RDF |
|
15 | Shiva Asadianfam, Hoshang Kolivand |
Verification of Airport Control Using Lisp Functional Language. |
DeSE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Max Rottenkolber |
Later Binding: Just-in-Time Compilation of a Younger Dynamic Programming Language. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andy Keep |
Workshop: Mixing Mutability into the Nanopass Framework (ELS invited workshop). |
ELS |
2020 |
DBLP BibTeX RDF |
|
15 | Robert Strandh |
Representing method combinations. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Corallo, Luca Nassi, Nicola Manca |
Bringing GNU Emacs to native code. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Irène Durand |
Bidirectional leveled enumerators. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Amr Abdelwahab |
Privilege as a technical debt (ELS keynote). |
ELS |
2020 |
DBLP BibTeX RDF |
|
15 | Robert Strandh |
Omnipresent and low-overhead application debugging. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andy Keep |
The Nanopass Framework as a Nanopass Compiler (ELS keynote). |
ELS |
2020 |
DBLP BibTeX RDF |
|
15 | Peter S. Housel |
LLVM Code Generation for Open Dylan. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rajesh Jayaprakash |
Partial Evaluation Based CPS Transformation: An Implementation Case Study. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Hamel, Marc Feeley |
An R7RS Compatible Module System forTermite Scheme. |
ELS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Eunil Seo, Vyacheslav V. Zalyubovskiy, Tai-Myoung Chung |
Mathematical Modeling of the Scalable LISP-deployed Software-Defined Wireless Network. |
J. Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | J Strother Moore |
Milestones from the Pure Lisp theorem prover to ACL2. |
Formal Aspects Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Neuss (eds.) |
Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019. |
ELS |
2019 |
DBLP BibTeX RDF |
|
15 | Michael A. Raskin, Christoph Welzel |
Working with First Order Proofs and Provers. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Hafner |
Shader Pipeline and Effect Encapsulation Using CLOS. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Parallelizing Quickref. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Léo Valais, Jim E. Newton, Didier Verna |
Implementing Baker's SUBTYPEP Decision Procedure. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jim E. Newton, Didier Verna |
Finite Automata Theory Based Optimization of Conditional Variable Binding. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ryan Culpepper |
Pattern-Based S-Expression Rewriting in Emacs. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Irène Durand, Robert Strandh |
MAKE-METHOD-LAMBDA Revisited. |
ELS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Muneer Kallash, Jonathan Loo, Aboubaker Lasebae, Mahdi Aiash |
A security framework for node-to-node communications based on the LISP architecture. |
Int. J. Electron. Secur. Digit. Forensics |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Bohdan B. Khomtchouk, Edmund Weitz, Peter D. Karp, Claes Wahlestedt |
How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications. |
Briefings Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. |
Art Sci. Eng. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kyle I. S. Harrington, Curtis T. Rueden, Kevin W. Eliceiri |
FunImageJ: a Lisp framework for scientific image processing. |
Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Didier Verna |
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Yuan Luo 0001, Peter Szolovits |
Implementing a Portable Clinical NLP System with a Common Data Model - a Lisp Perspective. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Musab Isah, Steven Simpson, Chris Edwards |
An Improved LISP Mobile Node Architecture. |
J. Netw. Comput. Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Victor Moreno, Dino Farinacci |
Signal-Free Locator/ID Separation Protocol (LISP) Multicast. |
RFC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chi-Dung Phung, Matthieu Coudron, Stefano Secci |
Internet acceleration with LISP traffic engineering and multipath TCP. |
ICIN |
2018 |
DBLP DOI BibTeX RDF |
|
15 | David Cooper (eds.) |
Proceedings of the 11th European Lisp Symposium (ELS 2018), Marbella, Spain, April 16-17, 2018. |
ELS |
2018 |
DBLP BibTeX RDF |
|
15 | Yuan Luo 0001, Peter Szolovits |
Implementing a Portable Clinical NLP System with a Common Data Model - a Lisp Perspective. |
BIBM |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Junemuk Choi, Jian Li 0024, James Won-Ki Hong |
Design and Implementation of Fault-Tolerant LISP Mapping System. |
CFI |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chiara Caiazza, Antonio Virdis, Giovanni Stea |
Simulating LISP-Based Multilink Communications in Aeronautical Networks. |
OMNeT++ |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tim Süß, Nils Döring, André Brinkmann, Lars Nagel 0001 |
And Now for Something Completely Different: Running Lisp on GPUs. |
CLUSTER |
2018 |
DBLP DOI BibTeX RDF |
|