LISP

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation.[1] Originally specified in 1958, Lisp is the second-oldest high-level programming language in widespread use today; only Fortran is older (by one year). Like Fortran, Lisp has changed a great deal since its early days, and a number of dialects have existed over its history. Today, the most widely known general-purpose Lisp dialects are Common Lisp and Scheme. Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church’s lambda calculus. It quickly became the favored programming language for artificial intelligence (AI) research. As one of the earliest programming languages, Lisp pioneered many ideas in computer science, including tree data structures, automatic storage management, dynamic typing, conditionals, higher-order functions, recursion, and the self-hosting compiler.[2] The name LISP derives from ”LISt Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source code is itself made up of lists. As a result, Lisp programs can manipulate source code as a data structure, giving rise to the macro systems that allow programmers to create new syntax or even new domain-specific languages embedded in Lisp. The interchangeability of code and data also gives Lisp its instantly recognizable syntax. All program code is written as s-expressions, or parenthesized lists. A function call or syntactic form is written as a list with the function or operator’s name first, and the arguments following; for instance, a function f that takes three arguments might be called using (f arg1 arg2 arg3).


References in zbMATH (referenced in 113 articles , 1 standard article )

Showing results 1 to 20 of 113.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  2. Chadwick, Bryan; Lieberherr, Karl: A functional approach to generic programming using adaptive traversals (2010)
  3. Culpepper, Ryan; Felleisen, Matthias: Debugging hygienic macros (2010)
  4. Demaine, Erik D.; Langerman, Stefan; Price, Eric: Confluently persistent tries for efficient version control (2010)
  5. Medina-Bulo, Inmaculada; Palomo-Lozano, Francisco; Ruiz-Reina, José-Luis: A verified common lisp implementation of Buchberger’s algorithm in ACL2 (2010)
  6. Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne: Design and evaluation of C++ open multi-methods (2010)
  7. Stump, Aaron: Directly reflective meta-programming (2010)
  8. Bresson, Jean; Agon, Carlos; Assayag, Gérard: Visual Lisp/CLOS programming in OpenMusic (2009)
  9. De Sá, Leonardo Bruno; Mesquita, Antonio: Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix (2009)
  10. Kaufmann, Matt; Moore, J. Strother; Ray, Sandip; Reeber, Erik: Integrating external deduction tools with ACL2 (2009)
  11. Martín-Mateos, Francisco-Jesus; Rubio, Julio; Ruiz-Reina, Jose-Luis: ACL2 verification of simplicial degeneracy programs in the Kenzo system (2009)
  12. Wessel, Michael; Möller, Ralf: Flexible software architectures for ontology-based information systems (2009)
  13. Wirth, Claus-Peter: Shallow confluence of conditional term rewriting systems (2009)
  14. Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J.Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew: Efficient execution in an automated reasoning environment (2008)
  15. Hunsberger, Luke; Jr., Charles L.Ortiz: Dynamic intention structures I: a theory of intention representation. (2008)
  16. Duran, Alejandro; Ferrer, Roger; Costa, Juan José; Gonzàlez, Marc; Martorell, Xavier; Ayguadé, Eduard; Labarta, Jesús: A proposal for error handling in OpenMP (2007)
  17. Hauptman, Ami; Sipper, Moshe: Emergence of complex strategies in the evolution of chess endgame players (2007)
  18. Lumpe, Markus: Applications = components + gloo. (2007)
  19. Meijaard, J.P.; Papadopoulos, Jim M.; Ruina, Andy; Schwab, A.L.: Linearized dynamics equations for the balance and steer of a bicycle: a benchmark and review (2007)
  20. Meijaard, J.P.; Popov, A.A.: Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics (2006)

1 2 3 4 5 6 next