{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

PLSpecs-PM - Programming Language Descriptions Click to...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Click to edit Master subtitle style cs784 PL-Descriptions Programming Language Descriptions
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
cs784 PL-Descriptions What drives PL Development? Computers are “in charge” of extremely important issues Execute a program literally. Exercise no “judgment”. Program development “works” : not too hard “works correctly”: beyond the state of the art Errors are due to inadequate command over 22
Background image of page 2
cs784 PL-Descriptions Division of PL Descriptions • Syntax – Context Free Grammars – Context Sensitive Details • Semantics – PL designer typically uses prose. – Others would have developed Operational Semantics Axiomatic Semantics • Denotational 33
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
cs784 PL-Descriptions Description of Syntax: BNF • Backus-Naur-Form – Context-Free only – LHS ::= seq of Terminals/Non-Terminals – ::= separates LHS from RHS – Repetition/Kleene Star { … }* Many variations of BNF 44
Background image of page 4
cs784 PL-Descriptions Description of Semantics What does a program “mean”?
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}