1152 search results - page 66 / 231 » The Scratch Programming Language and Environment |
133
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
137
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
143
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
104
click to vote
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
109
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...