Famous Russian CS Professor W.E. Wolfengagen’s CAM lectures
Will watch later.
This is W.E. Wolfengangen’s lectures on the Categorical Abstract Machine. Describes a method for evaluation of programs when the access to computational environment is modeled as a composition of projections.
Can’t seem to find lectures 5-8?
Categorical Abstract Machine. Lecture 1 of 8: Computation in a Category
Topics: The notion of Categorical Abstract Machine (CAM). Evaluation in a Cartesian closed category (c.c.c.). Evaluating map. Environment. Examples of expression evaluation. Collision of variables. Eliminating the collision. De Bruijn’s encoding. De Bruijn’s numerals. Evaluation in a c.c.c. using De Bruijn’s encoding. Combinatory glue. The properties of the theories of computation.
Topics: Expression evaluation and the ways of evaluating. The representation of the environment of expression evaluation. De Bruijn’s theory of computation of expression evaluation. Syntactical theory of computation. The kinds of the expression evaluation theories.
Topics: The ways of evaluation. Running the compiled programming code. Assembling the code. Comparison of the evaluations.
Categorical Abstract Machine. Lecture 4 of 8: Developing the abstract machine in a Category
Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code.
