Midterm 2

ePAPER READ

DOWNLOAD ePAPER

webhome.csc.uvic.ca

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

CSc 330 F01 3<br />

(b) (10%) Discuss the difference between strong and weak substitutibility.<br />

4. (25%) Reduce the following lambda expression into normal form. Show all your steps.<br />

( (λf.λx.f(fx)) (λf.λx.f(fx)) ) x y

Embedded Systems Design with the Atmel AVR Microcontroller Part II

Wireless High Frequency Transceiver Module (RF GFSK)

Chapter 5 – Computer Architecture The Idea of Abstraction

Outline - Computer Science, Department of - University of Victoria

Mechatronic Bernoulli Levitation System - Department of Computer ...

SENG466 Project 3 - University of Victoria

CSc 360: Operating Systems (Spring 2013)

conceptual design document - Computer Science, Department of ...

Project Phase 2 Physical Hovercraft Design - University of Victoria

CSc 330 F01 2 What are the most general types of h, f, a, l and k? Explain. procedure h ( f : __ ; a : __ ; l : __ ; k : __ ) is begin for i in a’range do k[i] := k[i] + f( a[i], l[i] ); end; end; 3. (25%) (a) (15%) Given two abstract data types DQueue (double-ended queues) and Queue (single-ended queues), how are they related by subtyping and subclassing? Explain.

CSc 330 F01 3 (b) (10%) Discuss the difference between strong and weak substitutibility. 4. (25%) Reduce the following lambda expression into normal form. Show all your steps. ( (λf.λx.f(fx)) (λf.λx.f(fx)) ) x y

Page 1: CSc 330 F01 1 Midterm 2 NAME: STUDE

Midterm 2

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?