4386 search results - page 429 / 878 » A Tamper-Resistant Programming Language System |
160
click to vote
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
130
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
133
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
120
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
132
click to vote
ESOP
2012
Springer
13 years 12 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...