Semantics of Programming Languages - FSL
Related Articles. Computer Programming for the People?
Data Analytics: Experts to Follow on Twitter. Related Questions. What is the difference between big data and Hadoop?
Programming Languages/Semantics Specification
What does big data do? How can I learn big data analytics?
More of your questions answered by our Experts. An interpretation function is defined to map terms in a program to elements in semantic domains also known as its denotation , removing any occurrences of the original syntax. Semantic domains are designed to model after specific language features and this study is called domain theory.
Laws can be derived from the semantic domains and are used for language specifications to verify correctness of an implementation. Intuitively related to Hoare Logic. Instead of deriving laws from operational or denotational behaviour definitions, the laws themselves define the semantics of the language.
Chair for Logic and Verification
This reversal simplifies reasoning about a program, leading to developments in software verification. Two different program implementations with the same set of initial and final assertions laws are considered to have the same semantics.
The terms that happen between assertions are just used to prove the assertions themselves and do not contribute to the semantics. Assertions define relationships between variables and other moving parts in a program, and some of these assertions remain invariant throughout execution. This is useful when you need a precise understanding of how a programming language works. E g when designing programming languages, when constructing programs that use other programs as data, e.
Different semantic methods and their use are examined with a special focus on operational semantics. Syllabus with reading list. More courses in Computer Science.