Programs traditionally consist of a series of statements describing how to solve a problem. Declarative programs instead describe what problem to solve and what a solution would look like. The program ...
The focus of the course is the rigorous analysis of programming languages. Where COMP_SCI 321 looks at languages through the lens of interpreter-based implementation, this course strips the languages ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback