3824 search results - page 280 / 765 » Geometry Constructions Language |
254
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
119
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
162
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
148
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
149
Voted
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...