Shared Flashcard Set

Details Title PL Description Type Total Cards 6 Subject Computer Science Created 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

Tweet