Name
Title | ||
|---|---|---|
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation |
Year | Venue | Keywords |
|---|---|---|
1986 | LICS | first order |
Field | DocType | Citations |
Discrete mathematics,Programming language,First order,Computer science,Lisp,Equivalence (measure theory) | Conference | 4 |
PageRank | References | Authors |
1.82 | 0 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ian A. Mason | 1 | 797 | 97.47 |