A Logical Basis for Functional Programming (Extended Abstract)
Download:
|
|
by N. Shankar
http://www.csl.sri.com/shankar/lfp-draft.ps.gz
Add To MetaCart
Abstract:
Functional programming provides a powerful medium for specifying computations and is frequently employed as a foundational tool to explain other forms of programming [13, 1, 5]. Many of the existing axiom systems which have been proposed for functional programming
Citations
| 491 | A Computational Logic – Boyer, Moore - 1979 |
| 369 | Programming Be Liberated from von Neumann Style? A Functional Style and its Algebra of Programs – Backus - 1978 |
| 101 | et al. Implementing Mathematics with the Nuprl Proof Development System – Constable - 1986 |
| 97 | Recursive Programming Techniques – Burge - 1975 |
| 83 | Predicate logic as a computational formalism – Clark - 1979 |
| 30 | The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover – Boyer, Moore - 1988 |
| 26 | Finitary inductively presented logics – Feferman - 1989 |
| 13 | Proving programs and programming proofs – Beeson - 1986 |
| 9 | Recursive Programs as Functions in a First Order Theory – Cartwright, McCarthy - 1979 |
