Search results for "Lisp"

Hits ?▲	Authors	Title	Venue	Year	Link
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