3 ms·
You do understand how a mathematical Theory (a set of true propositions made by relating operations i.e. from axioms and inference rules) and a Model (a set of
by rramadass 2y ago
You do understand how a mathematical Theory (a set of true propositions made by relating operations i.e. from axioms and inference rules) and a Model (a set of elements with all the operations defined and where all the propositions are true) are related, i presume?
PLT is not one theory but a set of theories from which you are free to pick and choose any subset you would like to model in your language's abstract machine and syntax/semantics.
C simply chose a "minimal theory" and there is nothing wrong with that.
- Joker_vD 2y agoC arguably doesn't actually have formal semantics, the struggles of the standard committee trying to figure out the pointer provenance being one obvious example.
- rramadass 2y agoC does have formally defined semantics as given by the standard but chose to leave some open-ended to give compiler writers more freedom in the form of a) Unspecified behaviour b) Implementation defined behaviour and c) Undefined behaviour.