Class Notes (810,035)
CSC324H1 (1)
Lecture

# CSC324 Lecture Notes.doc

13 Pages
130 Views

School
University of Toronto St. George
Department
Computer Science
Course
CSC324H1
Professor
Gary Baumgartner
Semester
Fall

Description
CSC324 Lecture NotesSangah is the bestSyntax Vs Semanticsa b c d e f g h SExpressionab c de fg h Terma b c d e f g hPython Lista bc d e f SExpressionSo typicallyspecial semanticsspecial syntaxnot always the case thoughAnything that can be replicated by a function call is eager If something cant then it is not eagerand andare NOT eagerbyvalueParameter names are called formalsSide effects are things that you execute for an effect other than return valueFunction call itself is an operationf1 is like CALL f1 CALL f 1Lambda CalculusLambda Calculus LC is one minimal foundation for Computable FunctionsThree kinds of expressionsFunctionFunction CallParameter AccessOne kind of valuefunctionSemantics Evaluating a program in the core model1 Possible value of an expressionA functionOne of the Booleans true or falsean integerthe void value2 It can also produce sideeffectsPossible Side effectschangealterupdatemutatereassignrebind variablesAbstract Syntax TreeParent Conditional ExpressionChildren LRConditionExpression ConsequentExpression Alternative ExpressionIf condition true then result is consequent else it is alternativeSemantics1 Evaluate conditionexpression In particular any of the expressions sideeffects occur now2 If its result is not false Evaluate consequentexpression In particular any of that expressions sideeffects occur now Its result value is the value of the whole conditionalOtherwise Evaluate alternativeexpression In particular any side effects of it occur now Its result value is the value of the whole conditionalLambda ExpressionLAMBDA FORMALSbodyexpr
More Less

Related notes for CSC324H1

OR

Don't have an account?

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Join to view

OR

By registering, I agree to the Terms and Privacy Policies
Just a few more details

So we can recommend you notes for your school.