Logic from Programming Language Semantics
<p>Logic for reasoning about programs must proceed from the programming language semantics. It is our thesis that programs be considered as mathematical objects that can be reasoned about directly, rather than as linguistic expressions whose meanings are embedded in an intermediate formalism.&...
Main Author: | |
---|---|
Format: | Others |
Language: | en |
Published: |
1987
|
Online Access: | https://thesis.library.caltech.edu/811/1/Choo_y_1987.pdf Choo, Young-il (1987) Logic from Programming Language Semantics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/r9hf-1b88. https://resolver.caltech.edu/CaltechETD:etd-02282008-111427 <https://resolver.caltech.edu/CaltechETD:etd-02282008-111427> |
Internet
https://thesis.library.caltech.edu/811/1/Choo_y_1987.pdfChoo, Young-il (1987) Logic from Programming Language Semantics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/r9hf-1b88. https://resolver.caltech.edu/CaltechETD:etd-02282008-111427 <https://resolver.caltech.edu/CaltechETD:etd-02282008-111427>