4386 search results - page 83 / 878 » A Tamper-Resistant Programming Language System |
117
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
117
click to vote
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
110
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...