3595 search results - page 288 / 719 » Roles of Program Extension |
190
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
162
Voted
PLSA
1994
15 years 10 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
230
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
236
Voted
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipula...
151
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
The Santa Claus problem is an interesting exercise in concurrent programming which has been used in a comparison of the concurrency mechanisms of Ada and Java. We present a simple...