4386 search results - page 457 / 878 » A Tamper-Resistant Programming Language System |
126
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
107
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
116
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
122
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
121
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...