×

Proving theorems about Lisp functions. (English) Zbl 0338.68014


MSC:

68N01 General topics in the theory of software
68Q45 Formal languages and automata
68W30 Symbolic computation and algebraic computation
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI