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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems. 
Is this relevant?
2013
2013
Scalable formal verification constitutes an important chal lenge for the design of asynchronous circuits. Deadlock freedom is a… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
2008
2008
A method and apparatus of controlling a vibrating feeder applies a drive signal to a vibrating mechanism connected to the… Expand
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… Expand
Is this relevant?
1999
1999
syntax trees (AST’s) are highly structured representations of source code. In an object-oriented implementation, there would… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes a successful effort to increase the predictive validity of student modeling in the ACT Programming Tutor… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
1995
1995
We describe a new technique for optimizing first-order functional programs. Programs are represented as graph grammars, and… Expand
  • figure 6
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Ognitiw Adaptive Computer Ht+ (COACH) is a sys-tan that records user rxp&rnce to create prrsonalized user help. Imagine you are… Expand
Is this relevant?
1990
1990
interpretation is the name given to the generic process of "executing" a program on a lattice which is much simpler than the… Expand
Is this relevant?
1986
1986
We describe an automatic programmer, or "compiler" which accepts as input a predicate calculus specification of a set to generate… Expand
Is this relevant?