This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 4. Problem 4 (30 Points) Consider the denotational semantics specification of Tiny. Suppose we were to make a single change to the specification of the '+' operator (slide 20 lecture ppt 26). Consider changing the LAST occurrence of s2 to s1, on the next-to-last line. Explain in plain English how the semantics of the Tiny language change due to this change in the specification. Illustrate your argument by constructing a sample Tiny program that illustrates the different semantics. 5. Problem 5 (30 Points) Why is type checking difficult in the denotational description of Tiny? 6. Problem 6 (40 Points) Write the denotational description of the 'case' statement in C for Tiny....
View Full Document
This note was uploaded on 01/22/2012 for the course COP 5555 taught by Professor Staff during the Fall '08 term at University of Florida.
- Fall '08