Defun

defun (short for "define function") is a macro in the Lisp family of programming languages that defines a function in the global environment that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1984-2017
01219842017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
2009
2009
Boyer and Moore’s ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While… (More)
Is this relevant?
2004
2004
ACL2(r) is a variant of ACL2 that has support for reasoning about the real and complex numbers. It is based on the logic of non… (More)
Is this relevant?
2003
2003
The importance of lexically scoped variable and function definitions is acknowledged in almost all programming languages. However… (More)
Is this relevant?
1996
1996
The New Millennium Remote Agent (NMRA) will be the rst AI system to control an actual spacecraft. The spacecraft domain raises a… (More)
Is this relevant?
1996
1996
Description Logics (DLs) are distinguished by a number of characteristics, including decidable reasoning algorithms for tasks… (More)
Is this relevant?
1994
1994
  • 1994
(make-array (list l1 l1) :initial-element 0)) (ra (mapcar #'(lambda (x y) (mapcar #'(lambda (z w) (setf (aref va x z) (aref smm-1… (More)
Is this relevant?
1992
1992
In ML, patterns can be nested arbitrarily. This means that pattern matching has to be compilecl into sequences ofsimple tests: a… (More)
Is this relevant?
1991
1991
It is shown that a process similar to Earley's algorithm can be generated by a simple top-down backtracking parser, when… (More)
Is this relevant?
1984
1984
Editor’s Note: AI workers have claimed for some time that the size and complexity of the program which they attempt to implement… (More)
  • figure 2
  • figure 1
Is this relevant?