Shared Flashcard Set

Details

PL
Type
6
Computer Science
Undergraduate 3
04/11/2008
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Computer Science Flashcards

 

 

Cards

Term
The appropriate formalism for type checking is 
 Definition
logical rules of inference
Term
" ^ " in a logical rule of inferance means what?
 Definition
and
Term
=> mean's what
 Definition
If-then
Term
define x:T
 Definition
x has type T
Term

If e1 has type Int and e2 has type Int, then e1 + e2 has type Int

 

Translate symbolically... 

 Definition
(e1: Int ^ e2: Int) => e1 + e2: Int
Term
A variable is free in an expression if:
 Definition
The expression contains an occurrence of the variable that refers to a declaration outside the expression
Supporting users have an ad free experience!