2859 search results - page 178 / 572 » A Programming Environment for Bousi-Prolog |
154
Voted
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
129
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
138
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
146
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
133
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...