1152 search results - page 74 / 231 » The Scratch Programming Language and Environment |
134
click to vote
SIGCSE
1997
ACM
15 years 7 months ago
1997
ACM
One of the major difficulties facing anyone trying to teach the first programming course is how to encourage students to thoroughly test their programs. We would argue that the ma...
112
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
130
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
131
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
115
click to vote
ISPA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...