5377 search results - page 96 / 1076 » Programming Languages For Interactive Computing |
SIGCSE
2000
ACM
14 years 1 months ago
2000
ACM
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
Book
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no...
SIGPLAN
2008
13 years 9 months ago
2008
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...