6740 search results - page 217 / 1348 » Using Classification as a Programming Language |
113
click to vote
ACMIDC
2008
15 years 4 months ago
2008
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
112
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
102
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
116
click to vote
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
117
click to vote
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...