Abstract syntax is the structure of data described as a data type, independent of any particular representation or encoding. It is used to represent text in computer languages and is stored in a tree structure known as an abstract syntax tree. Abstract syntax does not include information about the representation, such as parentheses or commas, which are implicit in the structure. It can be classified as first-order abstract syntax or higher-order abstract syntax depending on whether names are concrete or abstract.
Carnegie Mellon University
Spring 2014
A comprehensive course at Carnegie Mellon University that introduces fundamental principles of programming language design and implementation from a mathematical perspective. It delves deep into the structural and dynamic aspects of programming languages, studying concepts like recursion, objects, polymorphism, and parallelism.
No concepts data
+ 38 more conceptsUniversity of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts