5377 search results - page 597 / 1076 » Programming Languages For Interactive Computing |
193
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
309
Voted
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
173
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
190
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
173
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
Grid systems such as Globus, Legion, and Globe provide an infrastructure for implementing metacomputing over the Internet. The Component Architecture Toolkit (CAT) provides a soft...