A Survey of the Logic of Effective Definitions
| dc.contributor.author | Tiuryn, J. | en_US |
| dc.date.accessioned | 2023-03-29T15:04:38Z | |
| dc.date.available | 2023-03-29T15:04:38Z | |
| dc.date.issued | 1980-10 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149527 | |
| dc.description.abstract | LED, the Logic of Effective Definitions, is an extension of first order predicate calculus used for making assertions about programs. Programs are modeled as effective definitional schemes (following Friedman). Logical properties of LED and its relations to classical logics and other programming logics are surveyed. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-246 | |
| dc.title | A Survey of the Logic of Effective Definitions | en_US |
| dc.identifier.oclc | 7686520 |
