4386 search results - page 137 / 878 » A Tamper-Resistant Programming Language System |
LCPC
1998
Springer
15 years 5 months ago
1998
Springer
This report discusses some design and implementation issues in the HPJava language. Through example codes, we will illustrate how various language features have been designed to f...
135
click to vote
SYNASC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
114
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
130
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
122
Voted
SFP
2003
15 years 3 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...