2527 search results - page 358 / 506 » Aging in language dynamics |
154
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
218
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
164
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
159
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...
197
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...