2777 search results - page 141 / 556 » Example centric programming |
ESOP
1990
Springer
15 years 4 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
94
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
We describe Storytelling Alice, a programming environment that introduces middle school girls to computer programming as a means to the end of creating 3D animated stories. Storyt...
212
click to vote
POPL
2007
ACM
16 years 29 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
104
click to vote
CF
2010
ACM
15 years 5 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
105
Voted
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...