Homework Help is Here – Start Your Trial Now!
Engineering
Computer Science
What does (true opl (false op2 true)) evaluate to? ○ true ○ false Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3

What does (true opl (false op2 true)) evaluate to? ○ true ○ false Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3

Programming Logic & Design Comprehensive
Programming Logic & Design Comprehensive
9th Edition
ISBN:9781337669405
Author:FARRELL
Publisher:FARRELL
Chapter2: Elements Of High-quality Programs
Section: Chapter Questions
Problem 9RQ
See similar textbooks
icon
Related questions
Question
What does (true opl (false op2 true)) evaluate to? ○ true ○ false
Transcribed Image Text:What does (true opl (false op2 true)) evaluate to? ○ true ○ false
Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3
Transcribed Image Text:Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3
Expert Solution
steps

Step by step

Solved in 2 steps

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer
Similar questions
Recommended textbooks for you
Programming Logic & Design Comprehensive
Programming Logic & Design Comprehensive
Computer Science
ISBN:
9781337669405
Author:
FARRELL
Publisher:
Cengage
EBK JAVA PROGRAMMING
EBK JAVA PROGRAMMING
Computer Science
ISBN:
9781305480537
Author:
FARRELL
Publisher:
CENGAGE LEARNING - CONSIGNMENT
Np Ms Office 365/Excel 2016 I Ntermed
Np Ms Office 365/Excel 2016 I Ntermed
Computer Science
ISBN:
9781337508841
Author:
Carey
Publisher:
Cengage
C++ for Engineers and Scientists
C++ for Engineers and Scientists
Computer Science
ISBN:
9781133187844
Author:
Bronson, Gary J.
Publisher:
Course Technology Ptr
Programming with Microsoft Visual Basic 2017
Programming with Microsoft Visual Basic 2017
Computer Science
ISBN:
9781337102124
Author:
Diane Zak
Publisher:
Cengage Learning
CMPTR
CMPTR
Computer Science
ISBN:
9781337681872
Author:
PINARD
Publisher:
Cengage
SEE MORE TEXTBOOKS