In programming, the two key concepts often surface when discussing the quality and functionality of code are syntax and semantics. While syntax refers to the structure and rules that code must adhere ...

Abstract: We describe a case study applying XML semantics approach to specify the consistency of holy books published in XML format. The goal of the study was to understand the application of XML ...

We saw that we can represent the syntax of a program as an abstract syntax tree (AST), an algebraic data type that reflects the shape of the program. Syntax is, for our purposes, the "easy" part of ...