1675 search results - page 69 / 335 » Some thoughts on teaching programming and programming langua... |
138
click to vote
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
193
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
181
click to vote
CI
2000
15 years 4 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
MICS
2008
15 years 4 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
136
Voted
SIGCSE
2000
ACM
15 years 8 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 ...