1a. Describe the properties that are key indicators for automata-based programming. (5 Marks) b. Event driven programming is widely used in graphical user interfaces. The design of the toolkits has been criticized for promoting an over-simplified model of event-action, leading programmers to create error prone, difficult to extend and excessively complex application code. Such an approach is fertile ground for bugs for at least three reasons. Identify the reasons. (3 Marks) c. Discuss the five features of functional languages. (12 Marks)
2a. Distinguish between the following set of terms: (10 Marks) i. Semantics and syntax ii. Static semantics and dynamic semantics iii. Typed and untyped languages iv. Static versus dynamic typing v. Weak and strong typing b. There are many approaches to formal semantics which can be grouped to three major classes. Explain them as listed. (6 Marks) i. Denotational semantics ii. Operational semantics iii. Axiomatic semantics c. Briefly explain prolog programming. (4 Marks)
3a. Describe the following with examples: (8 Marks) i. Assignment-free language ii. Declarative languages (non procedural languages iii. A meta-circular iv. A self-interpreter b. Outline the rules for unification in prolog. (3 Marks) c. Consider this prolog program (9 Marks) rainy(vancouver) rainy(sept_iles). snowy(x) :- rainy(x), cold(x) Draw the search tree for the query snowy(C)
The search begins at snowy(C) and finds the rule snowy(X), which then becomes the goal, with C unified to X. Prolog must then establish both rainy(X) and cold (X). It establishes rainy (X) by finding rainy(vancouver), thus (temporarily) unifying X with vancouver. But then it must also find cold(vancouver). Because this fails, prolog backtracks and so it unifies rainy with sep tiles. Going back up the tree, it finds cold(sep tiles) and returns snowy(sept iles).
For a custom-written paper on the above topic, place your order now!
What We Offer
• On-time delivery guarantee
• PhD-level professionals
• Automatic plagiarism check
• 100% money-back guarantee
• 100% Privacy and Confidentiality
• High Quality custom-written papers
