252 search results - page 21 / 51 » Why teach programming languages |
ITS
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
ITICSE
2010
ACM
15 years 2 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diļ...
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively reļ¬ne dependent types wit...
182
click to vote
Book
"This book is not going to praise object-oriented programming or condemn the
Old Way. We are simply going to use ANSI-C to discover how object-oriented programming is done, w...