2482 search results - page 45 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
184
click to vote
DLS
2010
15 years 4 days ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
112
click to vote
VL
1995
IEEE
15 years 5 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 ...
143
click to vote
PPOPP
1991
ACM
15 years 5 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 ...
105
click to vote
CAV
2010
Springer
15 years 5 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...
120
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...