×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [valid precondition]
Home >
valid precondition
Announcements We are done with homeworks Second coding exam this week, in recitation –Times will be posted later today –If in doubt, show up for your regular.
213 views
Semantics “Semantics” has to do with the meaning of a program. We will consider two types of semantics: –Static semantics: semantics which can be enforced.
232 views