11022 search results - page 453 / 2205 » Programming Systems for Autonomy |
194
click to vote
ECOOP
1995
Springer
15 years 11 months ago
1995
Springer
The Self system attempts to integrate intellectual and non-intellectual aspects of programming to create an overall experience. The language semantics, user interface, and implemen...
180
click to vote
EUROPAR
1995
Springer
15 years 11 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
189
click to vote
VL
1995
IEEE
15 years 11 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
256
click to vote
PPOPP
1991
ACM
15 years 11 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
190
Voted
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...