Travelled to:1 × USA
Collaborated with:D.Duchier ∅
Talks about:environ (2) interpret (1) logicalc (1) interact (1) develop (1) scheme (1) effici (1) scope (1) proof (1) lexic (1)
Person: Drew V. McDermott
DBLP: McDermott:Drew_V=
Contributed to:
1988
1980Wrote 2 papers:
- CADE-1988-DuchierM #development #interactive #named #proving
- LOGICALC: An Environment for Interactive Proof Development (DD, DVM), pp. 121–130.
- LISP-1980-McDermott #interpreter #lisp #performance
- An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.