2977 search results - page 272 / 596 » Programming Environments for Novices |
197
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
200
click to vote
JSW
2006
15 years 6 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
167
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
246
click to vote
STTT
2010
15 years 5 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
156
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These ar...