2045 search results - page 216 / 409 » Learning programming with Erlang |
IH
2007
Springer
15 years 8 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
113
Voted
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
102
click to vote
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
134
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
126
Voted
FDG
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we share experiences from two 2-week summer courses for middle-school students in game programming using Storytelling Alice (SA). The students spent 20 hours learnin...